The sixteenth inference rule -- concerning isomorphs

If "Assumption" is the first inference rule, and the succeeding 14 rules involve the introduction and elimination rules for, respectively, ~, /\, \/, ), (x), (Ex) and Dominance, the remaining sixteenth rule involves the derivability of isomorphos.

i.e.

If phi and psi are isomorphs, phi /- psi.