smlVT25_lecture4.pdf