Chapter 111: Deduction Becomes More and More Realistic