rough-double-penetration (139.075)