Stuart_Armstrong comments on Problematic Problems for TDT