de jure != de facto

In practice it was used far more for type.