Now uses only one key (+counter) instead of two in Redis...
It could be optimized further...