dlthomas comments on Problematic Problems for TDT