gwern comments on Terrorist leaders are not about Terror