Carneiro's Circumscription Theory
 
x
OK