Reformatted Discrete I to be more readable, fixed a date in Leibniz