The Gartner numbers are for end-users, not channels.