Text this: Varieties of formal semantics :