8.1.2 布尔假设