Independence-friendly_logic loading ...