A reductio ad absurdum for naive Functional/Computational Theory-of-Mind (FCToM). — LessWrong