rough-double-penetration (133.141)