Lecture 23: Imaging with a single lens