clean up
sources added
the natural transformation diagram