visuino-counter-properties4