General_Leibniz_rule loading ...