Added PropositionalCalculus