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 c62ff907ededc9a34c0b3f4c3fbf7ee981bcb064)
@@ -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}