one then checks that the following diagrams commute [devil god diagram]