* (-ve avoider) = "underflow avoider". Necessary if using unsigned integers for calculations. Because we know all hashes h ≤ p {\displaystyle h\leq p} for prime modulus $p$, we can ensure no underflow by adding p to the old hash before subtracting the value corresponding to the old 'a' (mod p).