Added the First Few Propositional Calc Functions