More trivial arithmetic defined