Category:Necessity and sufficiency