eh, not very complicated, it makes your programs p...
# random
p
eh, not very complicated, it makes your programs provably correct