Rename and restructuring ch2
added logic engine proof
adding the latest version of chapter 2.  Need to complete graphics.