Statements about what is the case do not seem to imply what ought to be—but statements about what ought to be must imply certain things about what is the case. This post describes that observation, plus describes why I think the observation is helpful.