rough-double-penetration (137.159)