chapter proving nonconditional statements he last three chapters intro published presentations and documents on DocSlides.
