The union of a lot of necessary conditions is not a sufficient condition. But it might be good enough for software.
The union of a lot of necessary conditions is not a sufficient condition. But it might be good enough for software.