If AGI comes around, why would customers go to an AGI "reseller" instead of paying for the AGI directly?