glue trap subgroup of trap, 3 assertions