Leibniz_algebra loading ...