Conflict-Freedom as a Progress Condition
arxiv.org