Subtraction with Counters