Imperative_logic loading ...