Addition as counting forward