====== de jure ======