4.2.3 Synchronous Delivery Traces