That is stretching the definitions of proofs. assert random() != 0. QED

		JohnKemeny 16 days ago \| parent \| context \| favorite \| on: To be a better programmer, write little proofs in ... That is stretching the definitions of proofs. `assert random() != 0.` QED