tgb comments on A model of UDT without proof limits