three criteria of a correct inference or syllogism

Presence of the reason in the subject, pervasion or entailment, and counterpervasion.