\baseof{\tipcy} = \tipcn
}
\statement{Base Correct Contents}{
- \tipcn \haspatch \pd
+ \tipcn \haspatch \pa E
\equiv
- \pd \isdep \pc
+ \pa E \isdep \pc
}
-\statement{Tip Exceeds Inputs}{
+\statement{Tip Covers Inputs}{
\tipcy \ge \pendsof{\allsrcs}{\pcy}
}
-\statement{Base Exceeds Inputs' Bases}{
+\statement{Base Covers Inputs' Bases}{
\bigforall_{E \in \pendsof{\allsrcs}{\pcy}} \tipcn \ge \baseof{E}
}
-\statement{Base Exceeds Base Inputs}{
+\statement{Base Covers Base Inputs}{
\bigforall_{H \in \set H^{\pn}} \tipcn \ge H
}