Text this: Elements of formal semantics :