Theory x Logic x Abstract