Ex_contradictione_quodlibet loading ...