abstract theory