cousin_it comments on A model of UDT with a halting oracle

[cousin_it]

The implementation of A in the post works correctly for many different U’s.