5.532 And analogously: Not “(Ex, y) . f(x, y) . x = y”, but rather “(Ex) .f(x, x)”; and not “(Ex, y) .f(x, y) .~x = y”, but rather “(Ex, y) .f(x, x)”.

(Therefore instead of the Russellian “(Ex, y) .f(x, y)”: “(Ex, y) .f(x, y) .v. (Ex) .f(x, x).)

OK