Hybrid_logic loading ...