A barber who is a man shaves all and only those men who do not shave themselves. Does he shave himself?