add some notes on arithmetic