-fragment---involved a simply-typed version of the Predicate Calculus
-with lambda abstraction. More specifically, Montague called the
-semantic part of the PTQ fragment `Intensional Logic'. Montague's IL
-had three base types: `e`, for individuals, `t`, for truth values, and
-`s` for evaluation indicies (world-time pairs). The set of types was
-defined recursively:
-
- e, t, s are types
+fragment---included a simply-typed version of the Predicate Calculus
+with lambda abstraction.
+
+Montague called the semantic part of his PTQ fragment *Intensional
+Logic*. Montague's IL had three base types: `e`, for individuals,
+`t`, for truth values, and `s` for evaluation indicies (world-time
+pairs). The set of types was defined recursively:
+
+ e, t, s are base types