gRR comments on An example of self-fulfilling spurious proofs in UDT

[gRR]

Sorry, my error. Two errors, even. I’ll think more.