first-double-penetration (115.388)