О $Q$-теориях $2$-порожденных групп с данным аксиоматическим рангом

Совокупность квазитождеств, истинных в группе $G$, называется $Q$-теорией группы $G$. Пусть $T_n$ — множество всех квазитождеств от $n$ переменных из $Q$-теории $T$. Аксиоматический ранг $Q$-теории $T$ — это наименьшее натуральное $n$ (если оно существует), такое, что всякое квазитождество из $T$ является следствием $T_n$. Для каждого натурального числа $n$ строится континуальное множество $Q$-теорий $2$-порожденных групп, аксиоматический ранг каждой из которых равен $n$.