\text{as above with L and R exchanged}
\end{cases}
$$
-\proof{ ~ Truth table (ordered by original definition): \\
+\proof{ ~ Truth table (ordered by original definitions): \\
\begin{tabular}{cccc|c|cc}
$D = C$ &
$\isin L$ &
So $D \isin C \equiv D \le C$.
}
-\subsection{Totally Foreign Contents}
+\subsection{Totally Foreign Ancestry}
Given conformant commits $A \in \set A$,
$$
\left[
\proof{
Consider some $D \le C$. If $D = C$, $\isforeign{D}$ trivially.
If $D \neq C$ then $D \le A$ where $A \in \set A$. By Foreign
-Contents of $A$, $\isforeign{D}$.
+Ancestry of $A$, $\isforeign{D}$.
}