Lecture 11: Kubo formula and imaginary-frequency Greens functions