substitution

not defined yet