And whenever one is universal, the other particular, or both are particular or indefinite, or in whatever other way the propositions can be altered, the proof will always proceed through the same terms.