ft trampoline subgroup of trampoline, 2 assertions