biconditionals

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