% References cited in https://agora.t9k.dev/t/248/an-infinite-finitely-presented-simple-amenable-group