23.1 理发师悖论