Comments
Proofs.

* A proof that the program "[-]" will reset the current cell to 0.