LCF style Propositional Logic. This was a bad idea.