This is exactly how it ought to be, according to Immanuel Kant (1724-1804), who offers two types of oughts and shoulds—hypothetical imperatives and categorical imperatives—in Grounding for the ...

He draws a critical distinction between categorical imperatives, such as ‘Thou shalt not steal’, which is universal and unconditional, a moral necessity, and hypothetical imperatives, like ...