A new proof of extreme amenability of the unitary group of the hyperfinite II${}_1$-factor

We provide an alternative proof for the extreme amenability of the unitary group of the hyperfinite II${}_1$-factor von Neumann algebra, endowed with the strong operator topology.