bisubstitution
not defined yet