"A Formal Deprogramming"