Summary
Design decision recognition can guide the program abstraction process to answer what questions
Domain analysis can generate expectations to help answer why questions
Captured understanding is expressed with annotations
These two refinement activities work together to manage the program reading process