let succ x = add one x