New formalism, alphabet and mappings.