Necessary vs. Sufficient Assumptions