MAGA needs FORMAL DEPROGRAMMING