Noncommutative_logic loading ...