Some axioms for the ﬁrst order case are shown in Table 8. Let V denote a state variable. We denote by f [e ∕ V ] that in formula f expression e is substituted for variable V .