Comment on Would it be better to just have a lot of society be underground?