removal of side effects and the idea of proofs
# random
c
removal of side effects and the idea of proofs