3 ms·But don't you still have to logically connect the validity of the proof to desirability of the output?by zahlman 5mo agoBut don't you still have to logically connect the validity of the proof to desirability of the output?