DATS Theories