C^*-rigidity of the Heisenberg group | Synapse