Default Reasoning as Circumscription