6. Improving discovery without changing its meaning

Removing redundant work is an improvement only when the removed work could not change the justified result.