edit lecture: lecture 23: add prelude