I wonder how Carmack's AGI work is going. He's been quite for a while.