Outing Of Al-Qaida Double Agent May Benefit CIA