a b b b a^-1 a b^-2 a^-1 b
