% References cited in https://agora.t9k.dev/t/281/rigidity-and-arithmetic-of-lattice-von-neumann-algebras