* If *α* is an expression of type *<a, b>*, and *β* is an
expression of type b, then *α(β)* has type *b*.
-* If α* is an expression of type *a*, and *u* is a variable of
-*type b*, then *λuα* has type <code><b, a></code>.
+* If *α* is an expression of type *a*, and *u* is a variable of type *b*, then *λuα* has type <code><b, a></code>.
When we talk about monads, we will consider Montague's treatment of
intensionality in some detail. In the meantime, Montague's PTQ is