nekomata comments on Problematic Problems for TDT