This is not part of the formal theory, but is a pedagogical device that might help the student interpret the formalism.
Це не частина формальної теорії, але є педагогічним пристроєм, яке могло б допомогти студенту інтерпретувати формалізм.