% References cited in https://agora.t9k.dev/t/282/isomorphism-of-the-free-group-factors