=> WHEN WE ARRIVED AT THE PARTY, DAVID HAD LEFT.

4. => When we arrived at the party, David had left.