Circumscription_theory loading ...