Definition of DE JURE