Fixed bug: for necessary conditions we need to look at objects that do not have the main property to decide the significance.