licensed barber subgroup of barber, 1 assertions