Index: doc/theses/mike_brooks_MMath/background.tex
===================================================================
--- doc/theses/mike_brooks_MMath/background.tex	(revision b5bfb16ea228f5a456e0a4c2f07fb56ac6186cae)
+++ doc/theses/mike_brooks_MMath/background.tex	(revision 2d8299942dbe7aa1ebe645a587876a60f80a9758)
@@ -52,54 +52,4 @@
 In these declarations, the resulting types are both arrays, but their lengths are inferred.
 
-\begin{tabular}{lllllll}
-@float x;@ & $\rightarrow$ & (base element) & @float@ & @float x;@ & @[ float ]@ & @[ float ]@ \\
-@float * x;@ & $\rightarrow$ & pointer & @float *@ & @float * x;@ & @[ * float ]@ & @[ * float ]@ \\
-@float x[10];@ & $\rightarrow$ & array & @float[10]@ & @float x[10];@ & @[ [10] float ]@ & @[ array(float, 10) ]@ \\
-@float *x[10];@ & $\rightarrow$ & array of pointers & @(float*)[10]@ & @float *x[10];@ & @[ [10] * float ]@ & @[ array(*float, 10) ]@ \\
-@float (*x)[10];@ & $\rightarrow$ & pointer to array & @float(*)[10]@ & @float (*x)[10];@ & @[ * [10] float ]@ & @[ * array(float, 10) ]@ \\
-@float *(*x5)[10];@ & $\rightarrow$ & pointer to array & @(float*)(*)[10]@ & @float *(*x)[10];@ & @[ * [10] * float ]@ & @[ * array(*float, 10) ]@
-\end{tabular}
-\begin{cfa}
-	 x5 =	 (float*(*)[10]) x4;
-//	x5 =	 (float(*)[10]) x4;  // wrong target type; meta test suggesting above cast uses correct type
-
-	// [here]
-	// const
-
-	// [later]
-	// static
-	// star as dimension
-	// under pointer decay:				int p1[const 3]  being  int const *p1
-
-	const float * y1;
-	float const * y2;
-	float * const y3;
-
-	y1 = 0;
-	y2 = 0;
-	// y3 = 0; // bad
-
-	// *y1 = 3.14; // bad
-	// *y2 = 3.14; // bad
-	*y3 = 3.14;
-
-	const float z1 = 1.414;
-	float const z2 = 1.414;
-
-	// z1 = 3.14; // bad
-	// z2 = 3.14; // bad
-
-
-}
-
-#define T float
-void stx2() { const T x[10];
-//			x[5] = 3.14; // bad
-			}
-void stx3() { T const x[10];
-//			x[5] = 3.14; // bad
-			}
-\end{cfa}
-
 My contribution is enabled by recognizing
 \begin{itemize}
@@ -132,6 +82,5 @@
 The \CFA-Full column gives the spelling of a different type, introduced in TODO, which has all of my contributed improvements for safety and ergonomics.
 
-\noindent
-\textbf{Unfortunate Syntactic Reference}
+\VRef[Figure]{bkgd:ar:usr:avp} gives this reference for the discussion so far.
 
 \begin{figure}
@@ -225,6 +174,18 @@
 	    \\ \hline
 \end{tabular}
-\caption{Figure}
+\caption{Unfortunate Syntactic Reference for Array vs Pointer.  Includes interaction with constness.}
+\label{bkgd:ar:usr:avp}
 \end{figure}
+
+
+
+
+
+TODO: Address these parked unfortunate syntaxes
+\begin{itemize}
+	\item static
+	\item star as dimension
+	\item under pointer decay:				int p1[const 3]  being  int const *p1
+\end{itemize}
 
 
@@ -323,9 +284,5 @@
 \lstinput{32-42}{bkgd-carray-decay.c}
 
-\noindent
-\textbf{Unfortunate Syntactic Reference}
-
-\noindent
-(Parameter declaration; ``no writing'' refers to the callee's ability)
+\VRef[Figure]{bkgd:ar:usr:decay-parm} gives the reference for the decay phenomenon seen in parameter decalarations.
 
 \begin{figure}
@@ -364,5 +321,6 @@
 	    \\ \hline
 \end{tabular}
-\caption{Figure}
+\caption{Unfortunate Syntactic Reference for Decay during Parameter-Passing.  Includes interaction with constness, where ``no writing'' refers to a restriction on the callee's ability.}
+\label{bkgd:ar:usr:decay-parm}
 \end{figure}