wording

src/fri/naive.md

@@ -150,7 +150,7 @@ $$
 
 Indeed, the value provided by prover, $p_2((2^2)^2)$, is consistent with the recursively accumulated sum from symmetric points on previous layers.
 
-Therefore, $(a_2,w_2)$ is a pair in $\mathcal{R}_{\text {consistent-layers }}$. So through a single query, this naive FRI convince the verifier that $p_0$ has an expected degree bound.
+Therefore, $(a_2,w_2)$ is a pair in $\mathcal{R}_{\text {consistent-layers }}$. So through a single query, the prover tries to convince the verifier that $p_0$ has an expected degree bound. The verifier may want to sample more points to ensure the soundness, which we will try to answer what it means in FRI.
 
 For the next, we will see how to deal with a malicious prover by improving this naive version.