So Leighton Woodhouse rightfully points out that if artificial general intelligence is a real thing, then a lot of my arguments about the politics of artificial intelligence are irrelevant.