1: \begin{definition}[Evaluation of progressive Gray category diagram] \label{progdiaggray} The evaluation of a progressive Gray category diagram that has generic source and target pre-2-category diagrams is defined by perturbing it by an isotopy that fixes the boundary to a generic progressive Gray category diagram. The result is independent of the choice of isotopy by Theorem \ref{th_progressive_invariant}.

2: \end{definition}

3: