Make enclosure a monotonic criterion