They were contributing a lot. So Redis-the-company lost a lot of engineering expertise when they all left for valkey.