Added Sect6 (Leibniz as an axiom) and finished Sect5 (Implication)