Move section on predicate (first-time-p) outside of gathering clauses Various typos and some clarifications