 Abelard’s rules 1 and 2 are equivalent to the rules of class inclusion that later became the subject of much discussion, i.e., the so-called dici de omni et nullo rules. These rules are based on the transitivity of class inclusion and were the standard way in which later medieval logicians explained how the first figure moods are perfect or evident.