Text this: Formal Models of Agents