Today: let’s smash and together. Recall: Recall: x \in L \implies \exists y, V\left(x,y\right) = 1, x \not \in L \implies \forall y V\left(x,y\right) = 0 x \in L \implies \text{Pr}\left[V\left(x,r\right) = 1\right] \geq \frac{2}{3}, x \not\in L \implies \text{Pr}\left[V\left(x,r\right) = 0\right] \geq \frac{2}{3} Consider a new quantifier: