Dr_Manhattan comments on A model of UDT with a halting oracle