3 ms·I think it's meant more as a thought experiment than an actual formal proof.by vertexFarm 8y agoI think it's meant more as a thought experiment than an actual formal proof.