I recall interviewing one former CIA official who helped manage a division that ran the sort of actions listed above, and I asked him whether the CIA had considered permanently neutralizing a former CIA man who had revealed operations and the identities of CIA officers.