small tip subgroup of tip, 3 assertions