It is required that if the assertion holds then the verifier always accepts (when interacting with an appropriate prover strategy).
Ik ben heel benieuwd naar jouw mening, laat het me weten in de comments! •••••••••••••••••••••••••••••••••••••••••••••