⁴ We can also declare that the barber cannot have a beard. In fact, we can prove that no one in this town has a beard. A man with a beard demonstrably does not shave himself, and therefore must be shaved by the barber, according to the strict terms of the problem statement. But if he’s shaved by the barber, he doesn’t have a beard.