In a recent post, Harvey proposed a notion of first order minimality. This appears to be identical to a form of what John McCarthy has called "circumscription" on which there is a considerable literature. An early paper is my: ``Notes on the Mathematics of Non-Monotonic Reasoning,'' Artificial Intelligence, vol.13(1980), pp. 73-80. Martin