C^*-Rigidity of the Heisenberg Group | Synapse