notes from lecture cs 112 3815928