added both possible versions of equiv-\Sigma and equiv-\Pi