abstract theories