Intermediate_logic loading ...