Fix potential bug.
Add subsitution.
Add unify.