[ozy]

1. rarely does that come up in practical problems 2. for many reasons (and completeness is one) the machine cannot prove the next version is better, thus must discard it