Index: doc/theses/mike_brooks_MMath/array.tex
===================================================================
--- doc/theses/mike_brooks_MMath/array.tex	(revision 331f59aea1ab87e4343c4d84c373c60d1732c832)
+++ doc/theses/mike_brooks_MMath/array.tex	(revision 7c36bc9f84bde2b2d03c692b000cde8d05685fa9)
@@ -93,5 +93,5 @@
 In an imperative language like C and \CFA, it is also necessary to discuss side effects, for which an even heavier formalism, like separation logic, is required.
 Secondly, TODO: bash Rust.
-TODO: cite the crap out of these claims.
+% TODO: cite the crap out of these claims.
 \end{comment}