Later, he would develop a metaphysics whose claims would anticipate scientific discoveries, and an ethics that culminated in the Categorical Imperative. His friends chose the dictum from the Critique of Practical Reason (1788) for his tombstone: