rough-double-penetration (123.127)