Circumscription Theory