 The third way is to specify a domain of truths that can be investigated on the basis of each principle. For Leibniz, we can know mathematical truths only on the basis of the Principle of Contradiction and only metaphysical, theological, and physical truths require the PSR in order to be known. We will see in more detail in what way the PSR allows us to investigate these domains the section on applications.