The final "inverse" mark in the definition of Q_4 should be removed. That is, in Q_4, bab=a, not a inverse.