Comment by addandsubtract

If you change the definition of AGI, we're already there!