lambda + hofs lecture up