3 ms·Proof by construction is perfectly valid, if usually too difficult to be useful.by likpok 16y agoProof by construction is perfectly valid, if usually too difficult to be useful.