The upper bound for this needs to be `MODULUS-1`.