rough-double-penetration (180.831)