1 min lesson
When browser proof is incomplete
Take this situation: "The result sounds convincing. Which warning sign do you check first?" Lead with your decision, then add the reason.
Step 1 of 3
The result may sound finished while this is still true: Calling a UI done after typecheck only.
Interactive diagram. Tab through its regions; each focused region shows its detail in the panel below.
diagram: compare
Pick a row to see what to look for.