Introduction is more or less complete
A commutative square using tikz-cd.