en:discussion:formal_mind_theory