3 ms·I'm not totally sure what you mean by "external proofs will ultimately be neglected".by mafribe 11y agoI'm not totally sure what you mean by "external proofs will ultimately be neglected".