Treatment when the proof doesn't yet exist and the program searches the entire past unnecessarily.
Treatment when the proof doesn't yet exist and the program searches the entire past unnecessarily.