adapt example to Arith' and Cond