Seol mar théacs é seo: Formal aspects of cognitive processes :