A man of Seville is shaved by the Barber of Seville Iff the man does not shave himself. Does the barber shave himself? Proposed by Bertrand Russell.