THEORIES OF ATL