commits, this terminates with $A'' \in \pends()$, ie $A'' \le M$
by the LHS. And $A \le A''$.
}
+\[ \eqn{Calculation Of Ends:}{
+ \bigforall_{C \hasparents \set A}
+ \pendsof{C}{\set P} =
+ \Bigl\{ E \Big|
+ \Bigl[ \Largeexists_{A \in \set A}
+ E \in \pendsof{A}{\set P} \Bigr] \land
+ \Bigl[ \Largenexists_{B \in \set A}
+ E \neq B \land E \le B \Bigr]
+ \Bigr\}
+}\]
+XXX proof TBD.
\section{Commit annotation}