This paper argues that a standard analysis of modals from formal semantics suggests a solution to the detaching problem — the problem of whether un-embedded 'ought'-claims can "detach" (be derived) from hypothetical imperatives and their antecedent conditions. On a broadly Kratzerian analysis, modals have a skeletal conventional meaning and receive a particular reading (e.g., deontic, epistemic, teleological) only relative to certain forms of contextual supplementation. I argue that 'ought'-claims can detach — subject to an important qualification — but only as long as the 'ought's in the conditional premise and conclusion are interpreted relative to the same ordering sources. Although modus ponens can be shown to fail with hypothetical imp...