trisubstitution

not defined yet