Adde Reachability