Mitchell_Porter comments on Thoughts on AGI and world government