Part II - Formalizing Table of contents Chapter 3 - Math concepts and notation Chapter 4 - Subset choice Chapter 5 - Coherence