Quantum reference frames from top-down crossed products | Synapse