... and can pick tiny little necessary assumptions that don't even ... to be important to be necessary.
It doesn't need ... , and yet it's a necessary assumption. If the opposite is ... a Sufficient assumption, and guarantees the conclusion, but it's not necessary ...