For if none of the true attributes of things had been omitted in the survey, we should be able to discover the proof and demonstrate everything which admitted of proof, and to make that clear, whose nature does not admit of proof.