rough-double-penetration (175.457)