Leibniz_operator loading ...