bbarth comments on Problematic Problems for TDT