But don't you still have to logically connect the validity of the proof to desirability of the output?