Chapter 17 – Fairy and Theoretical Proof and