Eadem sunt quae sibi mutuo substitui possunt salva veritate
[trad.] 'Son idénticas las cosas que pueden substituirse una a la otra preservando la verdad'
(Leibniz_Law)