conj = AutomorphismReducer::reduce(conj * block, true); would look much nicer