mini trampoline subgroup of trampoline, 3 assertions