ProgramCrafter comments on What are the flaws in this AGI argument?