Comment by thedreammachine

Is it mostly an artifact of the proof or does the algorithm actually need anything close to it?