rough-double-penetration (185.140)