The unitary group of a II₁ factor is SOT-contractible | Synapse