AlexMennen comments on Problematic Problems for TDT