 One of the main consequences of this semantics is that the scope of the existential quantifier is in principle limitless. It changes the value of some variable and until a further change to that variable occurs, any subsequent test accesses the particular value that was set. This also means that the semantics of existential quantification can be given without reference to any scope: the meaning of \(\exists x\) is the action that takes a context and returns the same context with at most the value of \(x\) randomly replaced by another value. (We will work this out in detail below.)