Therefore the correct definition of necessity requires both that φ could not be false and that φ is ...