adopting wording for the new lazy regression style
high level pseudocode for repair algorithm
non-lisp pseudocode