This is as true of what he has done towards establishing the correct principles of its application partly by setting due bounds to an overly free employment of it as it is of his contributions to its proof.