4 ms·Those aren't proofs at all, and the docs even say so.by empthought 9y agoThose aren't proofs at all, and the docs even say so.