We believe that some confusion would be waived if the distinction from other interpretations was brought to the level of the formalism, so that it would become more than an interpretation, but indeed a theory. A formalism, like a grammar, imposes some constraints upon what is even expressible. So far, the relational interpretation has to deal with a standard format of quantum mechanics which is not well-adapted. The challenge would be to reformulate quantum mechanics with a better-suited language, where the relational aspect is already implemented in the basic grammar. In this article, we propose a route towards such a formalisation. Similar efforts have been recently pushed in this direction [1]}, but our approach is essentially independent. Here, we start by building upon the idea, present in the most recent formulation of the relational interpretation, that the primordial entities are the relative facts [2]}, [3]}.
