substitutions

not defined yet