Nonclassical_logic loading ...