Comment by fghorow

Testing:

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