Two Formulations Of Categorical Imperative