The definition of the value of a closed guard at an appropriate state mirrors the truth definition of formulas in first-order logic. The semantics of rules is given exactly as in 3.1.
