https://arxiv.org/abs/2302.01834 appears to have a typo in section 4.5
S(hg) = S(g)S(g)
looks like it should be S(hg) = S(h)S(g) or S(hg) = S(g)S(h)