Chapter 3 all formal proofs done
Chapter 4 done
Till optional Material Done in chapter 5