lecture:pal:do_list