source code now is relevant to lect12.pdf