Infers that something is the case because it would be good (or is not the case because it would be bad), the mirror image of the is-ought slip.