bisubstitution

not defined yet