Google and Amazon both partner with them and sell to the US Government... so does this mean they can't run on Google or AWS infrastructure?