The rule concerning the derivability relation, which we have just discussed, can be regarded as clarifying and combining the classical 'dictum de omni et nullo' and the 'nota notae' principle, the 'fundamental principle of mediate predication'.