Two new sections (more motivation, rejected @allow_implicit_stop).