Leibniz lecture and SoftMeth recitation.