Bounds for sets of remainders | Synapse