 Earlier forms of the epsilon calculus (such as that presented in Hilbert 1923) use a dual form of the epsilon operator, in which \(\varepsilon x A\) returns a value falsifying \(A(x)\). The version above was used in Ackermann’s dissertation (1924), and has become standard.