In section 2 of his Grioundwork, Kant expands on some earlier themes, and introduces the idea of the Categorical Imperative.