Monday 10/4 agenda - Graph traversal of the rational programmer - Synthesized bugs vs. errors observed by the rational programmer - Formalization of graphs (arrows, weights, properties)