discussion:la:formal_mind_theory