 The main non-propositionalist approaches to ITVs begin from the work of Richard Montague, especially his paper “The Proper Treatment of Quantification in Ordinary English” (Montague 1973), usually referred to as PTQ in the literature (Montague’s condition (9) (1974, 264) defines ‘seek’ as ‘try to find’, but this is optional). Montague developed a systematic semantics of natural language based on higher-order intensional type-theory. We explain this term right-to-left.