orthonormal comments on A model of UDT with a halting oracle