The strong CP problem revisited and solved by the gauge group topology | Synapse