 From (49) it follows that there were no intervening events. Strengthening the implications to bi-implications makes it impossible that a head can be true without the enabling conditions being  met.[8]  The uniquely determined model of (49) is the minimal model of the logic program consisting of (46) and (47). 