}\]
xxx proof tbd
-\[ \eqn{Ingredients Prohibit Replay:}{
+\[ \eqn{Ingredients Prevent Replay:}{
\left[
{C \hasparents \set A} \land
\\
\subsection{No Replay}
-Ingredients Prohibit Replay applies. $\qed$
+Ingredients Prevent Replay applies. $\qed$
\subsection{Unique Base}
If $A, C \in \py$ then by Calculation of Ends for
\subsection{No Replay}
-Ingredients Prohibit Replay applies. $\qed$
+Ingredients Prevent Replay applies. $\qed$
\subsection{Unique Base}
By definition of $\merge$,
$D \isin C \implies D \isin L \lor D \isin R^- \lor D = C$.
So, by Ordering of Ingredients,
-Ingredients Prohibit Replay applies. $\qed$
+Ingredients Prevent Replay applies. $\qed$
\subsection{Desired Contents}
By definition of $\merge$,
$D \isin C \implies D \isin L \lor D \isin R \lor D = C$.
So, by Ingredients,
-Ingredients Prohibit Replay applies. $\qed$
+Ingredients Prevent Replay applies. $\qed$
\subsection{Unique Base}