arithmetic first

Notes on checking things before believing them.