> the relationship with modulo doesn't need to hold for negative numbers. It especially needs to hold, given how often overlooked negative numbers are when rea

> the relationship with modulo doesn't need to hold for negative numbers. It especially needs to hold, given how often overlooked negative numbers are when reasoning about programs.