Jayson_Virissimo comments on A model of UDT with a halting oracle