( från Redis korresp .)