Non-classical_logic loading ...