rubber ball subgroup of ball, 3 assertions