Page "Mac Lane coherence theorem" not found :(