О квазимногообразиях групп с бесконечным числом максимальных подквазимногообразий

Строится пример двупорожденной группы $G$ и описывается множество собственных максимальных подквазимногообразий квазимногообразия $qG$. Это множество оказалось бесконечным (счетным), что дает положительный ответ на вопрос 14.25, поставленный А.  И. Будкиным в “Коуровской тетради”. Кроме того показывается, что всякое собственное подквазимногообразие из $qG$ содержится в одном из его собственных максимальных подквазимногообразий.