A line vanished from the program.
Now there is a gap.
The plan knows what belongs.
Line two is empty.
The plan: right, up, up.
What belongs in the gap?
Count the moves in the plan.
Count the lines in the program.
Numbers different? Line missing!
Nova cannot invent lines.
No line, no move!
You fill the gap.
Five gaps, five discoveries!
Now rebuild a whole program.
Missing line and all.
Count the plan. Count the lines.
A gap means a missing line.
The plan fills every hole.