Bundle_Gerbe comments on Problematic Problems for TDT