Yes, or to settle dispute and remove doubt once and for all, i.e. the Leibniz way.