Redundant counter