But we think this is possible (and easy!) because we’re using lightweight mentalistic representations that don’t look like what people think about when they think about ToM (big propositional attitudes), but they fit nicely with advances in computational models of ToM!

Dretske has a nice/longer analysis that goes beyond Feynman quote. First page gets at some of your points!