1: \begin{abstract}

2:   A new scheme for proving pseudoidentities from a given set $\Sigma$

3:   of pseudoidentities, which is clearly sound, is also shown to be

4:   complete in many instances, such as when $\Sigma$ defines a locally

5:   finite variety, a pseudovariety of groups, more generally, of

6:   completely simple semigroups, or of commutative monoids. Many

7:   further examples when the scheme is complete are given when $\Sigma$

8:   defines a pseudovariety \pv V which is $\sigma$-reducible for the

9:   equation $x=y$, provided $\Sigma$ is enough to prove a basis of

10:   identities for the variety of $\sigma$-algebras generated by~\pv V.

11:   This gives ample evidence in support of the conjecture that the

12:   proof scheme is complete in general.

13: \end{abstract}

14: