So what is the 4th best cloud platform that he thinks might overtake GCP?