While running a program the following "silly" presentation was discovered:
< a,b | a^2*b*a^-1, b*a^2*b^-1, a^-3 >.

This presentation obviously defines the trivial group.

GAP calculates the order of the group defined by this presentation to be
3, as the following illustrates:

gap> f:=FreeGroup(2);;
gap> a:=f.1;; b:=f.2;;
gap> g:=f/[a^2*b*a^(-1), b*a^2*b^(-1), a^(-3)];;
gap> Size(g);
3

Can anyone help?

Peter Campbell.