rough-double-penetration (125.193)