master barber subgroup of barber, 7 assertions