round trampoline subgroup of trampoline, 3 assertions