@nonlinear @futurebird @dahukanna @PavelASamsonov @knowuh homomorphic implies (aiui) that all operations on one half of the homomorphism can be mapped 1:1 to operations on the other half, and my point here is that we already know that at least in the strongest form that argument is not true.