The argument presented was that KGKG is in a better position than HIP*. I believe they are. However, I see at least four PRs from HIP* within the last month and they are running. There is a correlation here.