Because of the equivalence between a formula A(x) and λx[A(x)]a, one might wonder why add lambda abstractors to our language. In Montague semantics, the answer has to do with the very direct way that he translates expressions of natural languages into his logical language. We will discuss that soon, but first let us learn a bit about Montague's intensional logic.