Implement PN-counters