So In summary
AWS is in the lead
Azure is catching up
Google is trying, but needs to put more money in to catch up
Alibaba is to china focused, but if you get all the features is ok
Oracle is paying cursory attention to the market, cos someone said they need a cloud
and IBM is trying and failing with its usual competence
Are these things we need to pay Gartner for?