We have stated then how deductions which prove that something belongs or does not belong to something else are constituted, both how those of the same figure are constituted in themselves, and how those of different figures are related to one another.