DanArmak comments on Computation complexity of AGI design