Updating: adding a doc-ARITH-example