Links for simple-arith