A Bound for Error-Correcting Codes | Synapse