gRR comments on A model of UDT without proof limits