Added an unsubstitution function.