Leibniz, Discrete, and CompArch lectures.