Universal_logic loading ...