\equiv
\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
}