  This might be thought no less problematic than convenient for Hare: doesn’t it break the simple—if too simple—rule that no imperative conclusion can be derived from premises that contain no imperative? However, that simple rule lacks application here; for the operator with widest scope in the conclusion is “if”, and not an imperative.