Lecture 15.1 -- A few final things