Conjecture on explicit defining equations for explicit varieties

Let $W$ be an explicit variety, and distinguish explicit close-to-defining equations from explicit defining equations as in the source. Explicit equations conjecture.

(a) Any explicit variety has explicit close-to-defining equations.

(b) The explicit varieties in the theorem establishing black-box derandomization of symbolic determinant identity testing have explicit defining equations.

These assertions concern the construction of equations for explicit varieties, a central obstacle in geometric complexity theory; the source gives no resolution.