rough-double-penetration (111.388)