exercise ball subgroup of ball, 5 assertions