“…Another example is the pseudoidentity (x ω y ω ) ω = (y ω x ω ) ω which defines the pseudovariety BG. As a last example, Almeida and Volkov [3] showed that, if u i = v i , with i ∈ I, is a basis of pseudoidentities for a pseudovariety of groups H, then u In the last result, we identify all E-local pseudoidentities with only one variable. The elements of these equalities are elements of the free profinite semigroup on the alphabet with a unique element x, and so they can be written under the form x α , where α is an element of the profinite completion of (N, +).…”