Shmi comments on If AGI were coming in a year, what should we do?