pltl 4 and lecture 4