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