re-write leibniz