Torsion group construction by p-power relators

Enumerate all nonidentity words $w_i$ in the rank-two free group and impose relations $w_i^{p^{i+2}}=1$. The resulting two-generated group hasIt is infinite by p-deficiency at least one implies infinitude. Each element has order a power of $p$, so it is a torsion group. The infinitely many relators are essential to this particular construction; finite generation does not imply a finite group presentation.