Judging from my Washington Post message board, a lot of people think it’s perfectly okay to call General Petraeus a traitor.