Ch2, section 1 - fixes
Ch2, section 2 - fixes, Kripke semantics still to fix
Ch2, section 2 - somewhat better (?) Kripke semantics description