GO Is Polynomial-Space Hard | Synapse