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 0e991df4ae4c1af42734f50ff23af8b3530886f3)
@@ -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}