 These equations are isomorphic to the ones we wrote down for the case of early preemption. Moreover, the values of the variables are precisely the same in each case. In the case of early preemption, \(A=0\) and \(B = C = D = E = 1\); whereas, in the case of short circuit, \(A^*=0\) and \(B^* = C = D = E^* = 1\) (similar cases are discussed in Hiddleston 2005).