Miniwatson addition