We must find in the case of possible relations, as well as terms that belong, terms which can belong though they actually do not; for we have proved that a deduction which establishes a possible relation proceeds through these terms as well.