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 .