Rebellious AI can be controlled by submissive AI: an overview of background, identifying major problems, and taxonomizing possible solutions | Synapse