Good quantum error-correcting codes exist | Synapse