They don't, no (last that I looked) – if you switch providers, encrypted reasoning no longer works.