The Categorical Imperative and Universalizability