I don't think your statements about (a) where cloud margins come from and (b) Lambda vs VM cost are correct.