I have a question: how is the "strictification" related to "coherence" (in the sense of the "coherence theorem" in Mac Lane's CWM for instance) – is it a stronger version of coherence? or a modern reworking of coherence? or are the two concepts quite separate? both seem to be about justifying that you can "forget" about associators etc in practice.