commutative diagrams mostly