an>,&nbsp;<span style="font-style: italic;">x</span><sub>1</sub>&nbsp;&isin;&nbsp;<span style="font-style: italic;">X<sub>1</sub></span></span></sub>&nbsp;&phi;</td><td>&nbsp;&nbsp;&nbsp;</td><td>&nbsp;</td></tr>
<tr class="middle"><td align="right">&nbsp;</td><td>&nbsp;&nbsp;&nbsp;</td><td align="right">or&nbsp;&forall;<sub><span style="font-size: x-small;">(<span style="font-style: italic;">x</span><sub>0</sub>&nbsp;&isin;&nbsp;<span style="font-style: italic;">X<sub>0</sub></span>,&nbsp;<span style="font