3 ms·A proof machine I find incredible is no proof machine at all, but just an assertion machine.by pencilguin 4y agoA proof machine I find incredible is no proof machine at all, but just an assertion machine.