Logical circumscription, as Lifschitz demonstrated, provides systematic closure over non-effects wit...