Symbolizing Propositions Examples