Prior's substitutional account of propositional quantification in 'Objects of Thought' shows STT's p...