I've been using the Reidemeister-Schreier process (detailed in e.g. Holt et al. - *Handbook of Computational Group Theory*) to find the presentations of various modular subgroups. For example, this process tells us that the presentation of the principal congruence subgroup $\Gamma\left(4\right)$ is (before simplification):

$\left\langle \left[a..y\right]|a,d,e,f,g,ho,p,q,kl,s,t,vx,b,c,i,j,m,n,wr,yu\right\rangle$

I want to simplify this expression using Tietze transformations, again as described in Holt. However, doing so seems to give some worrying results. The first simplification is to remove all the "trivial" generators with monadic relators (e.g. $a,d,e,\ldots$). The second is to remove one of the two generators in each of the "double" relators, since the one will simply be the inverse of the other (i.e. delete one of $h$ or $o$, delete one of $k$ or $l$, etc.). However, doing these simplifications seems to leave the following presentation:

$\left\langle h,k,w,x,y|\right\rangle$

And this doesn't look like any good kind of presentation at all! If someone's able to tell me where I'm going wrong here, that would be hugely appreciated.

Thanks!