“…According to this book, in Binah (Understanding), one of ten emanations (sefirot) through which God reveals himself, God exists as the great "Who" who stands at the beginning of each question. This is perfectly in line with the main idea behind Hilbert's epsilon calculus, when we introduce a symbol εx P whose meaning is as follows: if ∃x P (x), then εx P is an object for which the property P (x) is true, i.e., for which P (εx P ); see, e.g., [17]. Of course, this formal idea does not help us actually construct this object in situations when not such construction is possible, but it helps us apply techniques of constructive logic to such situations -i.e., in effect, similar to double negation, it helps us apply techniques of constructive logic in situations when usual finite algorithms do not lead to constructions.…”