Necessity is Math