Preliminary work on arithmetic