Added Propositions class