Progressive proof with notes.