Are counterNames and eventRecordNames supposed to be public?