WIP: make (a) and (c) consistent. (a) uses relative termination criterion, (c) uses absolute criterion.