Intractable problems in control theory | Synapse