First formulation of the Categorical Imperative?