AlexMennen comments on Computation complexity of AGI design