When Necessity Can Be Defined in Terms of Noncontingency