Accept no other substitute or literal interpretation. There is only one true formula and way to write it properly. 7 registers with 7 built-in constants represented with 7 functional symbols.