Every (await, p, q) is followed by either (resume, p, q) or (suspend, p) with no intervening events for p.
Every (await, p, q) is followed by either (resume, p, q) or (suspend, p) with no intervening events for p.