Notes from second lecture on Abstract Interpretation

Will need "convert" from ImageMagick to compile.