Sharing a predicate in both premises is sufficient for valid second-figure inference.The Second Figure: Conditions of Validity and Four Productive Moods