Added Leibniz assignment