6.820  Foundations of Prog Analysis