It is clear then that if a deduction is formed when the terms are universally related, the terms must be related as we stated at the outset; for if they are otherwise related no necessary consequence follows.