Propositions are not names.