rough-double-penetration (112.130)