Gottfried Leibniz - There are two kinds of truth