the barber shaves all those who do not shave themselves