(iv) for each event in S, adding its partner event to S if: said event is a synchronous event or if said partner event is an asynchronous event succeeding said event in the partial order with respect to the operation direction and said partner event does not precede, with respect to the traversal direction, any first event on the previously completed display; and either the process to which the pa