Modified bounds for covering codes | Synapse