MaP, SaM.'.SaP (Barbara) ile MeP, SaM. .SeP (Celarent) biçimindeki tasımların sıkı geçerliliğini dile getiren geleneksel mantık kuralı.