‘Who’s the leading provider in enterprise Kubernetes? It’s Red Hat. And we are the leading provider of HCI. So you put those two things together, obviously, you get a platform that’s really good and ...