Nathan Helm-Burger comments on What could a policy banning AGI look like?