Gauged CRT and the Topological Solution to the Strong CP Problem | Synapse