* [x] Add synchronizes-with wording. * [ ] Sketch a design for an executor progress mechanism in the motivation/design section. * [ ] Describe the problems we are trying to solve briefly in motivation/design section.