Title: standard arithmetic