A logician with some time to kill in a small town decided to get a haircut. The town had only two barbers, each with his own shop. The logician glanced into one shop and saw that it was extremely untidy. The barber needed a shave, his clothes were unkempt, his hair was badly cut. The other shop was extremely neat. The barber was freshly shaved and spotlessly dressed, his hair neatly trimmed. Why did the logician return to the first shop for his haircut?
Each barber must have cut the other's hair. The logician picked the barber who had given his rival the better haircut.