NunoSempere comments on Prover-Estimator Debate: A New Scalable Oversight Protocol