be an $\operatorname{Ad}$-invariant symmetric $k$-linear form on $\mathfrak g$, extended to $\operatorname{ad}Q$-valued differential forms by the standard Chern-Weil wedge convention. Let $(A_t)_{t\in[0,1]}$ be a smooth path of principal connections on $Q$, let