--- a/Journal/Paper.thy	Fri Jun 02 14:36:44 2017 +0100
+++ b/Journal/Paper.thy	Fri Jun 09 15:08:54 2017 +0100
@@ -1835,6 +1835,7 @@
   \begin{lemma}\label{childrenlem}
   HERE %@ {text "If"} @ {thm (prem 1) cp_rec} @{text "then"}
   \begin{center}
+  @{thm valid_trace.cp_rec}.
   %@ {thm (concl) cp_rec}.
   \end{center}
   \end{lemma}