 Implicit in the Tarskian definition is a relation that holds between assignment \(\alpha\) and assignment \(\beta\) iff for all variables \(y\) that are different from \(x\), it is the case that \(\alpha(y) = \beta(y)\). This relation is often called a random reset of x and is written as [\(x\)]. For any variable \(x\), the binary relation between total assignments [\(x\)] is an equivalence relation between assignments, i.e., it is a reflexive, symmetric and transitive binary relation. Below, we see how such relations are put to work in a dynamicised version of first order predicate logic. 