Circumscription versus compromise