Title: Formal Models of Agents