leibniz invention