Warning 5.41.
The formula \(\Sigma^m = (\Sigma^{bc})^s\) for the acyclic class generated by a set \(\Sigma\) does not have the naive congruence analogue: we generally have \(\Sigma^c \neq (\Sigma^{bc})^{ss}\). Indeed, the right-hand side generally has no reason to be closed under base change.