 Adopting [\(x\)] as the meaning of “\(\exists x\)”, note that its meaning is quite different in nature from that of a test in that it creates new values in the output context. In contrast, the output context resulting from an update with a test is always a subset of the input context and can therefore never contain anything new relative to the input context.