9.7 Building an AGI