A man of Seville is shaved by the Barber of Seville if and only if the man does not shave himself. Does the barber shave himself?