Added Leibniz reading, more Discrete study (and some more renaming)