 Section 4, part 1 of the Enquiry distinguishes (as we have seen) between reasoning concerning relations of ideas and reasoning concerning matters of fact and existence. Demonstrative reasoning (concerning relations of ideas) cannot establish the supposition in question, 