3 ms·I think you may be confusing specification of the problem and the formalization of the proof.by dooglius 9mo agoI think you may be confusing specification of the problem and the formalization of the proof.