Arithmat doc. 3 by Gooskens