nice rethink of non-determinism for confluence, excellent (as could be predicted from the author list?) use of literature from the prior century, and ... the cherry on top: includes discussions of attempts that didn't work, and alternatives they believe probably would also work.