Got leibniz done