notes on modulo addition