}\]
\[ \eqn{ Suitable Tip }{
\bigexists_T
- \pendsof{J}{\p} = \{ T \}
+ \pendsof{J}{\py} = \{ T \}
\land
- \forall_{E \in \pendsof{K}{\p}} T \ge E
+ \forall_{E \in \pendsof{K}{\py}} T \ge E
, \text{where} \{J,K\} = \{L,R\}
}\]
\[ \eqn{ Foreign Merges }{