adding leibniz