( Från Redis korresp .)