Deakstadieđáhus: Quantifiers, propositions and identity