 In the absence of identity, by itself, this change results in an inadequate axiomatization of pure quantificational logic, one which cannot yield every instance of a permutation principle discussed by Fine (1983):