 Montague revolutionized the field of semantic theory. He introduced methods and tools from mathematical logic, and set standards for explicitness in semantics. Now all semanticists know that logic has more to offer than first-order logic only.