% References cited in https://agora.t9k.dev/t/242/an-infinite-finitely-presented-residually-finite-2-group-and-a-finitely