<a, b; a4, a^2 = b^2 = (ab)^2>?
This groupo presentation is similar to the Quat. group except it has a different relator a^2 = b^2 = ba(b^-1)= a^-1. I tried to derive it but was unsuccessful