ParentFull threadJohnKemeny·That is stretching the definitions of proofs. assert random() != 0. QEDView on HN