De_dicto_and_de_re loading ...