Minimal_logic loading ...