Z[[WF[(Σ)
²G
b
top