Vladimir_Nesov comments on A model of UDT with a halting oracle

[Vladimir_Nesov]

If S was sound-if-consistent, this problem makes it unsound, hence inconsistent.