Text this: Quantifiers, propositions and identity