8.10.1 理发师问题的背景