Added Mac Lane pentagon and figures explaining difference J and K.