In recent months, Language Models (LMs) have become a part of daily discourse, [...] In this paper, we propose formalizing the execution model of language models. [...] We introduce a low-level language to write "cognitive program" for this execution model.