added the last natural transformation