lecture notes printout proof-of-concept