Didn't the terms of that deal define AGI as "an AI that generates at least 1 billion in annual revenue"?