I assume that in its training, incrementing a counter in redis is common.