Read section 1.7.1 ✅ 2024-08-21 Read section 1.8.9 ✅ 2024-08-21 Theorem 1.10.12 looks wrong. Help me ❓