In a hypothetical rule, what does deriving a premise involve?