Stuart_Armstrong comments on Smoking lesion as a counterexample to CDT