rough-double-penetration (182.877)