As the operations of human understanding divide themselves into two kinds, the comparing of ideas, and the inferring of matter of fact; were virtue discovered by the understanding; it must be an object of one of these operations, nor is there any third operation of the understanding.