So, even though necessary conditions generally cast a wider 'net' (as the large circle with several sufficient conditions inside it) it actually needs to be more specific -- tailored -- to the argument than a sufficient assumption?