CFG & implementation summary in writeup