Equality is required to be defined under L, and the only rules required for L extended by the epsilon operator are modus ponens and the substitution of A(t) to replace A(x) for any term t.
Equality needs to be specified under L, and when L is expanded using the epsilon operator, only two principles apply: modus ponens and the substitution of A(t) for A(x) in any expression.