@lcamtuf I remember a commutative cube like that. I think it was either in Warner’s Foundations of Differentiable Manifolds and Lie Groups or in Bott and Tu’s Differential Forms in Algebraic Topology.