A type I move (Conjugation) takes for , where is a Braid Group.
A type II move (Stabilization) takes or for and , , and .