biconditionals Implication, Entailment, and Honours Projects I don't know how anyone at all read the last post given the volume and quality of the typos, I've gone through now and fixed most of them so I can at least