XDH_assumption loading ...