Starting with Leibniz