Text this: Essential formal semantics /