Leibniz passages for today, and an old Discrete II lecture