Isn't this because AGI is defined something like $100 billions of profits (yearly?) in their contract with Microsoft?