discussion:formal_mind_theory