The explicit gap forces every complete sampled instance to be accepted. On a sound instance, acceptance forces the clique number into the bad event already bounded by the sampling theorem.