(*) Chapter 2 & 3 are presented together as they form a coherent whole. They are separate in the book to keep formalisms & the methodology separate.