Time-line Model
กก
All events are aligned on a time axis
Exactly one of the PRs < = > holds between any pair
of events