They keep using that “de jure” word. I do not think it means what they think it means.