Add two implementations using Redis.