Added Logic to Propositions