 Prior (1961) makes use of propositional quantification in order to provide an intensional version of the Liar Paradox. In particular, if \(T\) is a sentential operator of the appropriate sort, then the following is a consequence of the axioms for propositional quantification: