Note, however, that our upper bound construction does not give an upper bound
for uniform WV-equivalence, since verifying that some CWV is a WV is
\(\Pi _{\mathit {3}}^{\mathit {P}}\) -hard itself [1]}.
