Comment by staticassertion

> (and others have too, I'm blanking on the name of the last person I saw do this).

Richard Carrier. This is the "Hypothetical imperative", which I think is traced to Kant originally.