Montague's program requires sentences to denote truth conditions via possible-worlds semantics, not ...