Addition with Counters