Symbolizing Propositions