[a,b] = aba^{-1}b^{-1}