DERIVE vs COUNTER; reset vs overflow