MyWikiBiz

Changes

Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)

Revision as of 04:00, 11 August 2009

69 bytes added ,  04:00, 11 August 2009
→‎Analysis of contingent propositions: neutral figure background
Line 900: Line 900:  
<pre>
 
<pre>
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` ` ` ` ` ` ` ` ` q o ` o r ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                         q o   o r                         |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` | ` | ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                           |   |                           |
−
| ` ` ` ` ` ` ` ` ` ` ` ` p o ` o p ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                         p o   o p                         |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` `\ /` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                           \ /                           |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` @ ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                             @                             |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` ` ` ` ` ` ` `(p (q)) (p (r))` ` ` ` ` ` ` ` ` ` ` |
+
|                     (p (q)) (p (r))                     |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
 
</pre>
 
</pre>
Line 921: Line 921:  
Since the expression <math>(p\ (q))(p\ (r))\!</math> involves just three variables, it may be worth the trouble to draw a venn diagram of the situation.  There are in fact a couple of different ways to execute the picture.
 
Since the expression <math>(p\ (q))(p\ (r))\!</math> involves just three variables, it may be worth the trouble to draw a venn diagram of the situation.  There are in fact a couple of different ways to execute the picture.
   −
Figure&nbsp;1 indicates the points of the universe of discourse ''X'' for which the proposition ''f'' : ''X'' &rarr; '''B''' has the value 1 (= true).  In this ''paint by numbers'' style of picture, one simply paints over the cells of a generic template for the universe ''X'', going according to some previously adopted convention, for instance:  Let the cells that get the value 0 under ''f'' remain untinted, and let the cells that get the value 1 under ''f'' be painted or shaded.  In doing this, it may be good to remind ourselves that the value of the picture as a whole is not in the ''paints'', in other words, the 0, 1 in '''B''', but in the pattern of regions that they indicate.  NB.  In this Ascii version, I use [```] for 0 and [^^^] for 1.
+
Figure&nbsp;1 indicates the points of the universe of discourse ''X'' for which the proposition ''f'' : ''X'' &rarr; '''B''' has the value 1 (= true).  In this ''paint by numbers'' style of picture, one simply paints over the cells of a generic template for the universe ''X'', going according to some previously adopted convention, for instance:  Let the cells that get the value 0 under ''f'' remain untinted, and let the cells that get the value 1 under ''f'' be painted or shaded.  In doing this, it may be good to remind ourselves that the value of the picture as a whole is not in the ''paints'', in other words, the 0, 1 in '''B''', but in the pattern of regions that they indicate.  NB.  In this Ascii version, I use [&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;] for 0 and [&nbsp;`&nbsp;` &nbsp;`&nbsp;] for 1.
    
{| align="center" cellpadding="10" style="text-align:center; width:90%"
 
{| align="center" cellpadding="10" style="text-align:center; width:90%"
Line 927: Line 927:  
<pre>
 
<pre>
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
−
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^o-------------o^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` ` ` ` `o-------------o` ` ` ` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ / ` ` ` ` ` ` ` \ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` ` ` ` /               \ ` ` ` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^/` ` ` ` ` ` ` ` `\^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` ` ` `/                 \` ` ` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^ ^ / ` ` ` ` ` ` ` ` ` \ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` ` ` /                   \ ` ` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^ ^/` ` ` ` ` ` ` ` ` ` `\^ ^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` ` `/                    \` ` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^ / ` ` ` ` ` ` ` ` ` ` ` \ ^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` ` /                      \ ` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^o` ` ` ` ` ` ` ` ` ` ` ` `o^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` `o                        o` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^|` ` ` ` ` ` ` ` ` ` ` ` `|^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` `|                        |` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^|` ` ` ` ` ` P ` ` ` ` ` `|^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` `|            P           |` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^|` ` ` ` ` ` ` ` ` ` ` ` `|^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` `|                        |` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^|` ` ` ` ` ` ` ` ` ` ` ` `|^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` `|                        |` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^|` ` ` ` ` ` ` ` ` ` ` ` `|^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` `|                        |` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ o--o----------o ` o----------o--o ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` o--o----------o   o----------o--o ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^/^ ^ \ ` ` ` ` `\`/` ` ` ` ` / ^ ^\^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` `/` ` \          \ /          / ` `\` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ / ^ ^ ^\` ` ` ` ` o ` ` ` ` `/^ ^ ^ \ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` / ` ` `\          o          /` ` ` \ ` ` ` ` ` |
−
| ^ ^ ^ ^ ^/^ ^ ^ ^ \ ` ` ` `/^\` ` ` ` / ^ ^ ^ ^\^ ^ ^ ^ ^ |
+
| ` ` ` ` `/` ` ` ` \        /`\       / ` ` ` `\` ` ` ` ` |
−
| ^ ^ ^ ^ / ^ ^ ^ ^ ^\` ` ` / ^ \ ` ` `/^ ^ ^ ^ ^ \ ^ ^ ^ ^ |
+
| ` ` ` ` / ` ` ` ` `\      / ` \     /` ` ` ` ` \ ` ` ` ` |
−
| ^ ^ ^ ^/^ ^ ^ ^ ^ ^ \ ` `/^ ^ ^\` ` / ^ ^ ^ ^ ^ ^\^ ^ ^ ^ |
+
| ` ` ` `/` ` ` ` ` ` \   /` ` `\    / ` ` ` ` ` `\` ` ` ` |
−
| ^ ^ ^ o ^ ^ ^ ^ ^ ^ ^o--o-------o--o^ ^ ^ ^ ^ ^ ^ o ^ ^ ^ |
+
| ` ` ` o ` ` ` ` ` ` `o--o-------o--o` ` ` ` ` ` ` o ` ` ` |
−
| ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ |
+
| ` ` ` | ` ` ` ` ` ` ` ` | ` ` ` | ` ` ` ` ` ` ` ` | ` ` ` |
−
| ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ |
+
| ` ` ` | ` ` ` ` ` ` ` ` | ` ` ` | ` ` ` ` ` ` ` ` | ` ` ` |
−
| ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ |
+
| ` ` ` | ` ` ` ` ` ` ` ` | ` ` ` | ` ` ` ` ` ` ` ` | ` ` ` |
−
| ^ ^ ^ | ^ ^ ^ Q ^ ^ ^ ^ | ^ ^ ^ | ^ ^ ^ ^ R ^ ^ ^ | ^ ^ ^ |
+
| ` ` ` | ` ` ` Q ` ` ` ` | ` ` ` | ` ` ` ` R ` ` ` | ` ` ` |
−
| ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ | ^ ^ ^ ^ ^ ^ ^ ^ | ^ ^ ^ |
+
| ` ` ` | ` ` ` ` ` ` ` ` | ` ` ` | ` ` ` ` ` ` ` ` | ` ` ` |
−
| ^ ^ ^ o ^ ^ ^ ^ ^ ^ ^ ^ o ^ ^ ^ o ^ ^ ^ ^ ^ ^ ^ ^ o ^ ^ ^ |
+
| ` ` ` o ` ` ` ` ` ` ` ` o ` ` ` o ` ` ` ` ` ` ` ` o ` ` ` |
−
| ^ ^ ^ ^\^ ^ ^ ^ ^ ^ ^ ^ ^\^ ^ ^/^ ^ ^ ^ ^ ^ ^ ^ ^/^ ^ ^ ^ |
+
| ` ` ` `\` ` ` ` ` ` ` ` `\` ` `/` ` ` ` ` ` ` ` `/` ` ` ` |
−
| ^ ^ ^ ^ \ ^ ^ ^ ^ ^ ^ ^ ^ \ ^ / ^ ^ ^ ^ ^ ^ ^ ^ / ^ ^ ^ ^ |
+
| ` ` ` ` \ ` ` ` ` ` ` ` ` \ ` / ` ` ` ` ` ` ` ` / ` ` ` ` |
−
| ^ ^ ^ ^ ^\^ ^ ^ ^ ^ ^ ^ ^ ^\^/^ ^ ^ ^ ^ ^ ^ ^ ^/^ ^ ^ ^ ^ |
+
| ` ` ` ` `\` ` ` ` ` ` ` ` `\`/` ` ` ` ` ` ` ` `/` ` ` ` ` |
−
| ^ ^ ^ ^ ^ \ ^ ^ ^ ^ ^ ^ ^ ^ o ^ ^ ^ ^ ^ ^ ^ ^ / ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` \ ` ` ` ` ` ` ` ` o ` ` ` ` ` ` ` ` / ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^\^ ^ ^ ^ ^ ^ ^ ^/^\^ ^ ^ ^ ^ ^ ^ ^/^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` `\` ` ` ` ` ` ` `/`\` ` ` ` ` ` ` `/` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ o-------------o ^ o-------------o ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` o-------------o ` o-------------o ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
−
| ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ |
+
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
 
Figure 1.  Venn Diagram for (p (q))(p (r))
 
Figure 1.  Venn Diagram for (p (q))(p (r))
Line 973: Line 973:  
Likewise for the expression "(p (r))", read as "''p'' &rArr; ''r''", and also readable as "not ''p'' without ''r''".  Asserting it effectively excludes any tincture of truth from the region of ''P'' that lies outside the region ''R''.
 
Likewise for the expression "(p (r))", read as "''p'' &rArr; ''r''", and also readable as "not ''p'' without ''r''".  Asserting it effectively excludes any tincture of truth from the region of ''P'' that lies outside the region ''R''.
   −
Figure 2 shows the other standard way of drawing a venn diagram for such a proposition.  In this ''punctured soap film'' style of picture — others may elect to give it the more dignified title of a ''logical quotient topology'' or some such thing — one goes on from the previous picture to collapse the fiber of 0 under ''X'' down to the point of vanishing utterly from the realm of active contemplation, thereby arriving at a degenre of picture like so:
+
Figure&nbsp;2 shows the other standard way of drawing a venn diagram for such a proposition.  In this ''punctured soap film'' style of picture — others may elect to give it the more dignified title of a ''logical quotient topology'' or some such thing — one goes on from the previous picture to collapse the fiber of 0 under ''X'' down to the point of vanishing utterly from the realm of active contemplation, thereby arriving at a degenre of picture like so:
    
{| align="center" cellpadding="10" style="text-align:center; width:90%"
 
{| align="center" cellpadding="10" style="text-align:center; width:90%"
Line 979: Line 979:  
<pre>
 
<pre>
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` ` ` o-------------o ` o-------------o ` ` ` ` ` ` |
+
|             o-------------o   o-------------o             |
−
| ` ` ` ` ` `/` ` ` ` ` ` ` `\`/` ` ` ` ` ` ` `\` ` ` ` ` ` |
+
|           /               \ /               \           |
−
| ` ` ` ` ` / ` ` ` ` ` ` ` ` o ` ` ` ` ` ` ` ` \ ` ` ` ` ` |
+
|           /                 o                 \           |
−
| ` ` ` ` `/` ` ` ` ` ` ` ` `/`\` ` ` ` ` ` ` ` `\` ` ` ` ` |
+
|         /                 / \                 \         |
−
| ` ` ` ` / ` ` ` ` ` ` ` ` / P \ ` ` ` ` ` ` ` ` \ ` ` ` ` |
+
|         /                 / P \                 \         |
−
| ` ` ` `/` ` ` ` ` ` ` ` `/` ` `\` ` ` ` ` ` ` ` `\` ` ` ` |
+
|       /                 /     \                 \       |
−
| ` ` ` o ` ` ` ` ` ` ` ` o-------o ` ` ` ` ` ` ` ` o ` ` ` |
+
|       o                 o-------o                 o       |
−
| ` ` ` | ` ` ` ` ` ` ` ` | ` ` ` | ` ` ` ` ` ` ` ` | ` ` ` |
+
|       |                 |       |                 |       |
−
| ` ` ` | ` ` ` ` ` ` ` ` | ` ` ` | ` ` ` ` ` ` ` ` | ` ` ` |
+
|       |                 |       |                 |       |
−
| ` ` ` | ` ` ` ` Q ` ` ` | ` ` ` | ` ` ` R ` ` ` ` | ` ` ` |
+
|       |         Q       |       |       R         |       |
−
| ` ` ` | ` ` ` ` ` ` ` ` | ` ` ` | ` ` ` ` ` ` ` ` | ` ` ` |
+
|       |                 |       |                 |       |
−
| ` ` ` | ` ` ` ` ` ` ` ` | ` ` ` | ` ` ` ` ` ` ` ` | ` ` ` |
+
|       |                 |       |                 |       |
−
| ` ` ` o ` ` ` ` ` ` ` ` o ` ` ` o ` ` ` ` ` ` ` ` o ` ` ` |
+
|       o                 o       o                 o       |
−
| ` ` ` `\` ` ` ` ` ` ` ` `\ ` ` /` ` ` ` ` ` ` ` `/` ` ` ` |
+
|       \                 \     /                 /       |
−
| ` ` ` ` \ ` ` ` ` ` ` ` ` \ ` / ` ` ` ` ` ` ` ` / ` ` ` ` |
+
|         \                 \   /                 /         |
−
| ` ` ` ` `\` ` ` ` ` ` ` ` `\`/` ` ` ` ` ` ` ` `/` ` ` ` ` |
+
|         \                 \ /                 /         |
−
| ` ` ` ` ` \ ` ` ` ` ` ` ` ` o ` ` ` ` ` ` ` ` / ` ` ` ` ` |
+
|           \                 o                 /           |
−
| ` ` ` ` ` `\` ` ` ` ` ` ` `/`\` ` ` ` ` ` ` `/` ` ` ` ` ` |
+
|           \               / \               /           |
−
| ` ` ` ` ` ` o-------------o ` o-------------o ` ` ` ` ` ` |
+
|             o-------------o   o-------------o             |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
 
Figure 2.  Venn Diagram for (p (q r))
 
Figure 2.  Venn Diagram for (p (q r))
Line 1,031: Line 1,031:  
<pre>
 
<pre>
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
−
| Equation E_1` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
| Equation E_1                                             |
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` q r ` ` ` ` ` ` |
+
|                                           q r             |
−
| ` ` ` ` `q o` `o r` ` ` ` ` ` ` ` ` ` ` ` `o` ` ` ` ` ` ` |
+
|         q o   o r                         o             |
−
| ` ` ` ` ` `|` `|` ` ` ` ` ` ` ` ` ` ` ` ` `|` ` ` ` ` ` ` |
+
|           |   |                           |             |
−
| ` ` ` ` `p o` `o p` ` ` ` ` ` ` ` ` ` ` `p o` ` ` ` ` ` ` |
+
|         p o   o p                       p o             |
−
| ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` `|` ` ` ` ` ` ` |
+
|             \ /                           |             |
−
| ` ` ` ` ` ` `@` ` ` ` ` ` ` = ` ` ` ` ` ` `@` ` ` ` ` ` ` |
+
|             @             =             @             |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` (p (q)) (p (r)) ` ` ` = ` ` ` ` `(p `(q r)) ` ` ` ` |
+
|       (p (q)) (p (r))       =         (p (q r))         |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` [p=>q] & [p=>r] ` ` ` = ` ` ` ` `[p=>[q&r]] ` ` ` ` |
+
|       [p=>q] & [p=>r]       =         [p=>[q&r]]         |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
 
</pre>
 
</pre>
Line 1,070: Line 1,070:  
<pre>
 
<pre>
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
−
| Equation E_1. `Proof 1. ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
| Equation E_1. Proof 1.                                   |
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` `q o` `o r` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         q o   o r                                       |
−
| ` ` ` ` ` `|` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           |   |                                         |
−
| ` ` ` ` `p o` `o p` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         p o   o p                                       |
−
| ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \ /                                           |
−
| ` ` ` ` ` ` `@` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             @                                           |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` (p (q)) (p (r)) ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       (p (q)) (p (r))                                     |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o=============================< Double Negation >===========o
 
o=============================< Double Negation >===========o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` `q o` `o r` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         q o   o r                                       |
−
| ` ` ` ` ` `|` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           |   |                                         |
−
| ` ` ` ` `p o` `o p` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         p o   o p                                       |
−
| ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \ /                                           |
−
| ` ` ` ` ` ` `o` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             o                                           |
−
| ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             |                                           |
−
| ` ` ` ` ` ` `o` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             o                                           |
−
| ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             |                                           |
−
| ` ` ` ` ` ` `@` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             @                                           |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` `(( (p (q)) (p (r)) ))` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|   (( (p (q)) (p (r)) ))                                 |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o=============================< Collection >================o
 
o=============================< Collection >================o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` `q o` `o r` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         q o   o r                                       |
−
| ` ` ` ` ` `|` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           |   |                                         |
−
| ` ` ` ` ` `o` `o` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           o   o                                         |
−
| ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \ /                                           |
−
| ` ` ` ` ` ` `o` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             o                                           |
−
| ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             |                                           |
−
| ` ` ` ` ` `p o` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           p o                                           |
−
| ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             |                                           |
−
| ` ` ` ` ` ` `@` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             @                                           |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` `(p ( ((q)) ((r)) ))` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|   (p ( ((q)) ((r)) ))                                   |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o=============================< Double Negation >===========o
 
o=============================< Double Negation >===========o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` ` ` q r ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             q r                                           |
−
| ` ` ` ` ` ` `o` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             o                                           |
−
| ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             |                                           |
−
| ` ` ` ` ` `p o` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           p o                                           |
−
| ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             |                                           |
−
| ` ` ` ` ` ` `@` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             @                                           |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` `(p (q r))` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         (p (q r))                                       |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o=============================< QED >=======================o
 
o=============================< QED >=======================o
 
</pre>
 
</pre>
Line 1,135: Line 1,135:  
<pre>
 
<pre>
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
−
| Equation E_1` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
| Equation E_1                                             |
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` q r ` ` ` ` ` ` |
+
|                                           q r             |
−
| ` ` ` ` `q o` `o r` ` ` ` ` ` ` ` ` ` ` ` `o` ` ` ` ` ` ` |
+
|         q o   o r                         o             |
−
| ` ` ` ` ` `|` `|` ` ` ` ` ` ` ` ` ` ` ` ` `|` ` ` ` ` ` ` |
+
|           |   |                           |             |
−
| ` ` ` ` `p o` `o p` ` ` ` ` ` ` ` ` ` ` `p o` ` ` ` ` ` ` |
+
|         p o   o p                       p o             |
−
| ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` `|` ` ` ` ` ` ` |
+
|             \ /                           |             |
−
| ` ` ` ` ` ` `@` ` ` ` ` ` ` = ` ` ` ` ` ` `@` ` ` ` ` ` ` |
+
|             @             =             @             |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` (p (q)) (p (r)) ` ` ` = ` ` ` ` `(p `(q r)) ` ` ` ` |
+
|       (p (q)) (p (r))       =         (p (q r))         |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` [p=>q] & [p=>r] ` ` ` = ` ` ` ` `[p=>[q&r]] ` ` ` ` |
+
|       [p=>q] & [p=>r]       =         [p=>[q&r]]         |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
 
</pre>
 
</pre>
Line 1,161: Line 1,161:  
<pre>
 
<pre>
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
−
| Equation E_1. `Proof 2, 1st Half. ` ` ` ` ` ` ` ` ` ` ` ` |
+
| Equation E_1. Proof 2, 1st Half.                         |
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` ` ` ` q o ` o r ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               q o   o r                                   |
−
| ` ` ` ` ` ` ` ` | ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 |   |                                     |
−
| ` ` ` ` ` ` ` p o ` o p ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               p o   o p                                   |
−
| ` ` ` ` ` ` ` ` `\ /` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \ /                                     |
−
| ` ` ` ` ` ` ` ` ` @ ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   @                                       |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o=============================< CAST "p" >==================o
 
o=============================< CAST "p" >==================o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` ` ` ` ` ` ` ` q ` r ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       q   r                               |
−
| ` ` ` ` q o ` o r ` o o ` o o ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         q o   o r   o o   o o                             |
−
| ` ` ` ` ` | ` | ` ` `\| ` |/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           |   |     \|   |/                             |
−
| ` ` ` ` ` o ` o ` ` ` o ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           o   o       o   o                               |
−
| ` ` ` ` ` `\ /` ` ` ` `\ /` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           \ /         \ /                               |
−
| ` ` ` ` ` p o-----------o---o p ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           p o-----------o---o p                           |
−
| ` ` ` ` ` ` `\` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \         /                                 |
−
| ` ` ` ` ` ` ` \ ` ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \       /                                   |
−
| ` ` ` ` ` ` ` `\` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \     /                                   |
−
| ` ` ` ` ` ` ` ` \ ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \   /                                     |
−
| ` ` ` ` ` ` ` ` `\`/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \ /                                     |
−
| ` ` ` ` ` ` ` ` ` @ ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   @                                       |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o=============================< Domination >================o
 
o=============================< Domination >================o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` q o ` o r ` o ` ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         q o   o r   o       o                             |
−
| ` ` ` ` ` | ` | ` ` `\` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           |   |     \     /                             |
−
| ` ` ` ` ` o ` o ` ` ` o ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           o   o       o   o                               |
−
| ` ` ` ` ` `\ /` ` ` ` `\ /` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           \ /         \ /                               |
−
| ` ` ` ` ` p o-----------o---o p ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           p o-----------o---o p                           |
−
| ` ` ` ` ` ` `\` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \         /                                 |
−
| ` ` ` ` ` ` ` \ ` ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \       /                                   |
−
| ` ` ` ` ` ` ` `\` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \     /                                   |
−
| ` ` ` ` ` ` ` ` \ ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \   /                                     |
−
| ` ` ` ` ` ` ` ` `\`/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \ /                                     |
−
| ` ` ` ` ` ` ` ` ` @ ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   @                                       |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o=============================< Cancellation >==============o
 
o=============================< Cancellation >==============o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` q o ` o r ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         q o   o r                                         |
−
| ` ` ` ` ` | ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           |   |                                           |
−
| ` ` ` ` ` o ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           o   o                                           |
−
| ` ` ` ` ` `\ /` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           \ /                                           |
−
| ` ` ` ` ` p o-----------o---o p ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           p o-----------o---o p                           |
−
| ` ` ` ` ` ` `\` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \         /                                 |
−
| ` ` ` ` ` ` ` \ ` ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \       /                                   |
−
| ` ` ` ` ` ` ` `\` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \     /                                   |
−
| ` ` ` ` ` ` ` ` \ ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \   /                                     |
−
| ` ` ` ` ` ` ` ` `\`/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \ /                                     |
−
| ` ` ` ` ` ` ` ` ` @ ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   @                                       |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o=============================< CAST "q" >==================o
 
o=============================< CAST "q" >==================o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` ` ` ` ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   o                                       |
−
| ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   |                                       |
−
| ` ` ` o ` o r ` ` o ` o r ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       o   o r     o   o r                                 |
−
| ` ` ` | ` | ` ` ` | ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       |   |       |   |                                   |
−
| ` ` ` o ` o ` ` ` o ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       o   o       o   o                                   |
−
| ` ` ` `\ /` ` ` ` `\ /` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       \ /         \ /                                   |
−
| ` ` ` q o-----------o---o q ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       q o-----------o---o q                               |
−
| ` ` ` ` `\` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         \         /                                     |
−
| ` ` ` ` ` \ ` ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           \       /                                       |
−
| ` ` ` ` ` `\` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           \     /                                       |
−
| ` ` ` ` ` ` \ ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \   /                                         |
−
| ` ` ` ` ` ` `\`/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \ /                                         |
−
| ` ` ` ` ` ` p o-------o---o p ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             p o-------o---o p                             |
−
| ` ` ` ` ` ` ` `\` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \     /                                   |
−
| ` ` ` ` ` ` ` ` \ ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \   /                                     |
−
| ` ` ` ` ` ` ` ` `\ /` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \ /                                     |
−
| ` ` ` ` ` ` ` ` ` @ ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   @                                       |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o=============================< Cancellation >==============o
 
o=============================< Cancellation >==============o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` ` o r ` ` ` ` o r ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           o r         o r                                 |
−
| ` ` ` ` ` | ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           |           |                                   |
−
| ` ` ` ` ` o ` ` ` o ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           o       o   o                                   |
−
| ` ` ` ` `/` ` ` ` `\ /` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         /         \ /                                   |
−
| ` ` ` q o-----------o---o q ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       q o-----------o---o q                               |
−
| ` ` ` ` `\` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         \         /                                     |
−
| ` ` ` ` ` \ ` ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           \       /                                       |
−
| ` ` ` ` ` `\` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           \     /                                       |
−
| ` ` ` ` ` ` \ ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \   /                                         |
−
| ` ` ` ` ` ` `\`/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \ /                                         |
−
| ` ` ` ` ` ` p o-------o---o p ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             p o-------o---o p                             |
−
| ` ` ` ` ` ` ` `\` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \     /                                   |
−
| ` ` ` ` ` ` ` ` \ ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \   /                                     |
−
| ` ` ` ` ` ` ` ` `\ /` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \ /                                     |
−
| ` ` ` ` ` ` ` ` ` @ ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   @                                       |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o=============================< Domination >================o
 
o=============================< Domination >================o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` ` o r ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           o r                                             |
−
| ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           |                                               |
−
| ` ` ` ` ` o ` ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           o       o                                       |
−
| ` ` ` ` `/` ` ` ` `\` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         /         \                                     |
−
| ` ` ` q o-----------o---o q ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       q o-----------o---o q                               |
−
| ` ` ` ` `\` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         \         /                                     |
−
| ` ` ` ` ` \ ` ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           \       /                                       |
−
| ` ` ` ` ` `\` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           \     /                                       |
−
| ` ` ` ` ` ` \ ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \   /                                         |
−
| ` ` ` ` ` ` `\`/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \ /                                         |
−
| ` ` ` ` ` ` p o-------o---o p ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             p o-------o---o p                             |
−
| ` ` ` ` ` ` ` `\` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \     /                                   |
−
| ` ` ` ` ` ` ` ` \ ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \   /                                     |
−
| ` ` ` ` ` ` ` ` `\ /` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \ /                                     |
−
| ` ` ` ` ` ` ` ` ` @ ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   @                                       |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o=============================< CAST "r" >==================o
 
o=============================< CAST "r" >==================o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` ` ` ` ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   o                                       |
−
| ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   |                                       |
−
| ` ` ` o ` ` ` ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       o           o                                       |
−
| ` ` ` | ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       |           |                                       |
−
| ` ` ` o ` ` ` ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       o           o                                       |
−
| ` ` `/` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|     /           /                                       |
−
| ` r o-----------o---o r ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|   r o-----------o---o r                                   |
−
| ` ` `\` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|     \         /                                         |
−
| ` ` ` \ ` ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       \       /                                           |
−
| ` ` ` `\` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       \     /                                           |
−
| ` ` ` ` \ ` / ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         \   /     o                                       |
−
| ` ` ` ` `\`/` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         \ /     |                                       |
−
| ` ` ` ` q o-------o---o q ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         q o-------o---o q                                 |
−
| ` ` ` ` ` `\` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           \     /                                       |
−
| ` ` ` ` ` ` \ ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \   /                                         |
−
| ` ` ` ` ` ` `\ /` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \ /                                         |
−
| ` ` ` ` ` ` p o-------o---o p ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             p o-------o---o p                             |
−
| ` ` ` ` ` ` ` `\` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \     /                                   |
−
| ` ` ` ` ` ` ` ` \ ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \   /                                     |
−
| ` ` ` ` ` ` ` ` `\ /` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \ /                                     |
−
| ` ` ` ` ` ` ` ` ` @ ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   @                                       |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o=============================< Cancellation >==============o
 
o=============================< Cancellation >==============o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` ` ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               o                                           |
−
| ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               |                                           |
−
| ` ` r o-------o---o r ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|     r o-------o---o r                                     |
−
| ` ` ` `\` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       \     /                                           |
−
| ` ` ` ` \ ` / ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         \   /     o                                       |
−
| ` ` ` ` `\ /` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         \ /     |                                       |
−
| ` ` ` ` q o-------o---o q ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         q o-------o---o q                                 |
−
| ` ` ` ` ` `\` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           \     /                                       |
−
| ` ` ` ` ` ` \ ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \   /                                         |
−
| ` ` ` ` ` ` `\ /` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \ /                                         |
−
| ` ` ` ` ` ` p o-------o---o p ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             p o-------o---o p                             |
−
| ` ` ` ` ` ` ` `\` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \     /                                   |
−
| ` ` ` ` ` ` ` ` \ ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \   /                                     |
−
| ` ` ` ` ` ` ` ` `\ /` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \ /                                     |
−
| ` ` ` ` ` ` ` ` ` @ ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   @                                       |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o=============================< DNF >=======================o
 
o=============================< DNF >=======================o
 
</pre>
 
</pre>
Line 1,321: Line 1,321:  
<pre>
 
<pre>
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
−
| DNF of "(p (q))(p (r))" ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
| DNF of "(p (q))(p (r))"                                   |
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` ` ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               o                                           |
−
| ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               |                                           |
−
| ` ` r o-------o---o r ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|     r o-------o---o r                                     |
−
| ` ` ` `\` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       \     /                                           |
−
| ` ` ` ` \ ` / ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         \   /     o                                       |
−
| ` ` ` ` `\ /` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         \ /     |                                       |
−
| ` ` ` ` q o-------o---o q ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         q o-------o---o q                                 |
−
| ` ` ` ` ` `\` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           \     /                                       |
−
| ` ` ` ` ` ` \ ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \   /                                         |
−
| ` ` ` ` ` ` `\ /` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \ /                                         |
−
| ` ` ` ` ` ` p o-------o---o p ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             p o-------o---o p                             |
−
| ` ` ` ` ` ` ` `\` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \     /                                   |
−
| ` ` ` ` ` ` ` ` \ ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \   /                                     |
−
| ` ` ` ` ` ` ` ` `\ /` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \ /                                     |
−
| ` ` ` ` ` ` ` ` ` @ ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   @                                       |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| Either not 'p' and thus 'true'` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
| Either not 'p' and thus 'true'                           |
−
| ` ` Or ` ` 'p' and thus ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|     Or     'p' and thus                                   |
−
| ` ` ` `Either not 'q' and thus 'false'` ` ` ` ` ` ` ` ` ` |
+
|       Either not 'q' and thus 'false'                   |
−
| ` ` ` ` ` `Or ` ` 'q' and thus` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           Or     'q' and thus                           |
−
| ` ` ` ` ` ` ` Either not 'r' and thus 'false' ` ` ` ` ` ` |
+
|               Either not 'r' and thus 'false'             |
−
| ` ` ` ` ` ` ` ` ` Or ` ` 'r' and thus 'true'. ` ` ` ` ` ` |
+
|                   Or     'r' and thus 'true'.             |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
 
</pre>
 
</pre>
Line 1,361: Line 1,361:  
<pre>
 
<pre>
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
−
| Equation E_1` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
| Equation E_1                                             |
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` q r ` ` ` ` ` ` |
+
|                                           q r             |
−
| ` ` ` ` `q o` `o r` ` ` ` ` ` ` ` ` ` ` ` `o` ` ` ` ` ` ` |
+
|         q o   o r                         o             |
−
| ` ` ` ` ` `|` `|` ` ` ` ` ` ` ` ` ` ` ` ` `|` ` ` ` ` ` ` |
+
|           |   |                           |             |
−
| ` ` ` ` `p o` `o p` ` ` ` ` ` ` ` ` ` ` `p o` ` ` ` ` ` ` |
+
|         p o   o p                       p o             |
−
| ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` `|` ` ` ` ` ` ` |
+
|             \ /                           |             |
−
| ` ` ` ` ` ` `@` ` ` ` ` ` ` = ` ` ` ` ` ` `@` ` ` ` ` ` ` |
+
|             @             =             @             |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` (p (q)) (p (r)) ` ` ` = ` ` ` ` `(p `(q r)) ` ` ` ` |
+
|       (p (q)) (p (r))       =         (p (q r))         |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` [p=>q] & [p=>r] ` ` ` = ` ` ` ` `[p=>[q&r]] ` ` ` ` |
+
|       [p=>q] & [p=>r]       =         [p=>[q&r]]         |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
 
</pre>
 
</pre>
Line 1,385: Line 1,385:  
<pre>
 
<pre>
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
−
| Equation E_1. `Proof 2, 2nd Half. ` ` ` ` ` ` ` ` ` ` ` ` |
+
| Equation E_1. Proof 2, 2nd Half.                         |
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` ` ` ` ` `q r` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 q r                                     |
−
| ` ` ` ` ` ` ` ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   o                                       |
−
| ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   |                                       |
−
| ` ` ` ` ` ` ` ` p o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 p o                                       |
−
| ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   |                                       |
−
| ` ` ` ` ` ` ` ` ` @ ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   @                                       |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o=============================< CAST "p" >==================o
 
o=============================< CAST "p" >==================o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` ` ` `q r` ` ` q r ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             q r     q r                                 |
−
| ` ` ` ` ` ` ` o ` ` o o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               o     o o                                   |
−
| ` ` ` ` ` ` ` | ` ` `\| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               |     \|                                   |
−
| ` ` ` ` ` ` ` o ` ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               o       o                                   |
−
| ` ` ` ` ` ` ` | ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               |       |                                   |
−
| ` ` ` ` ` ` p o-------o---o p ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             p o-------o---o p                             |
−
| ` ` ` ` ` ` ` `\` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \     /                                   |
−
| ` ` ` ` ` ` ` ` \ ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \   /                                     |
−
| ` ` ` ` ` ` ` ` `\ /` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \ /                                     |
−
| ` ` ` ` ` ` ` ` ` @ ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   @                                       |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o=============================< Domination >================o
 
o=============================< Domination >================o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` ` ` `q r` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             q r                                         |
−
| ` ` ` ` ` ` ` o ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               o     o                                     |
−
| ` ` ` ` ` ` ` | ` ` `\` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               |     \                                   |
−
| ` ` ` ` ` ` ` o ` ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               o       o                                   |
−
| ` ` ` ` ` ` ` | ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               |       |                                   |
−
| ` ` ` ` ` ` p o-------o---o p ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             p o-------o---o p                             |
−
| ` ` ` ` ` ` ` `\` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \     /                                   |
−
| ` ` ` ` ` ` ` ` \ ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \   /                                     |
−
| ` ` ` ` ` ` ` ` `\ /` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \ /                                     |
−
| ` ` ` ` ` ` ` ` ` @ ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   @                                       |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o=============================< Cancellation >==============o
 
o=============================< Cancellation >==============o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` ` ` `q r` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             q r                                         |
−
| ` ` ` ` ` ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               o                                           |
−
| ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               |                                           |
−
| ` ` ` ` ` ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               o                                           |
−
| ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               |                                           |
−
| ` ` ` ` ` ` p o-------o---o p ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             p o-------o---o p                             |
−
| ` ` ` ` ` ` ` `\` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \     /                                   |
−
| ` ` ` ` ` ` ` ` \ ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \   /                                     |
−
| ` ` ` ` ` ` ` ` `\ /` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \ /                                     |
−
| ` ` ` ` ` ` ` ` ` @ ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   @                                       |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o=============================< CAST "q" >==================o
 
o=============================< CAST "q" >==================o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` ` ` ` ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   o                                       |
−
| ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   |                                       |
−
| ` ` ` ` ` o r ` ` o r ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           o r     o r                                     |
−
| ` ` ` ` ` | ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           |       |                                       |
−
| ` ` ` ` ` o ` ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           o       o                                       |
−
| ` ` ` ` ` | ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           |       |                                       |
−
| ` ` ` ` q o-------o---o q ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         q o-------o---o q                                 |
−
| ` ` ` ` ` `\` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           \     /                                       |
−
| ` ` ` ` ` ` \ ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \   /                                         |
−
| ` ` ` ` ` ` `\ /` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \ /                                         |
−
| ` ` ` ` ` ` p o-------o---o p ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             p o-------o---o p                             |
−
| ` ` ` ` ` ` ` `\` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \     /                                   |
−
| ` ` ` ` ` ` ` ` \ ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \   /                                     |
−
| ` ` ` ` ` ` ` ` `\ /` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \ /                                     |
−
| ` ` ` ` ` ` ` ` ` @ ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   @                                       |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o=============================< Domination >================o
 
o=============================< Domination >================o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` ` ` ` ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   o                                       |
−
| ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   |                                       |
−
| ` ` ` ` ` o r ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           o r     o                                       |
−
| ` ` ` ` ` | ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           |       |                                       |
−
| ` ` ` ` ` o ` ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           o       o                                       |
−
| ` ` ` ` ` | ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           |       |                                       |
−
| ` ` ` ` q o-------o---o q ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         q o-------o---o q                                 |
−
| ` ` ` ` ` `\` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           \     /                                       |
−
| ` ` ` ` ` ` \ ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \   /                                         |
−
| ` ` ` ` ` ` `\ /` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \ /                                         |
−
| ` ` ` ` ` ` p o-------o---o p ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             p o-------o---o p                             |
−
| ` ` ` ` ` ` ` `\` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \     /                                   |
−
| ` ` ` ` ` ` ` ` \ ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \   /                                     |
−
| ` ` ` ` ` ` ` ` `\ /` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \ /                                     |
−
| ` ` ` ` ` ` ` ` ` @ ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   @                                       |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o=============================< Cancellation >==============o
 
o=============================< Cancellation >==============o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` ` o r ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           o r                                             |
−
| ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           |                                               |
−
| ` ` ` ` ` o ` ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           o       o                                       |
−
| ` ` ` ` ` | ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           |       |                                       |
−
| ` ` ` ` q o-------o---o q ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         q o-------o---o q                                 |
−
| ` ` ` ` ` `\` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           \     /                                       |
−
| ` ` ` ` ` ` \ ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \   /                                         |
−
| ` ` ` ` ` ` `\ /` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \ /                                         |
−
| ` ` ` ` ` ` p o-------o---o p ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             p o-------o---o p                             |
−
| ` ` ` ` ` ` ` `\` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \     /                                   |
−
| ` ` ` ` ` ` ` ` \ ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \   /                                     |
−
| ` ` ` ` ` ` ` ` `\ /` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \ /                                     |
−
| ` ` ` ` ` ` ` ` ` @ ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   @                                       |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o=============================< CAST "r" >==================o
 
o=============================< CAST "r" >==================o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` ` ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               o                                           |
−
| ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               |                                           |
−
| ` ` ` o ` ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       o       o                                           |
−
| ` ` ` | ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       |       |                                           |
−
| ` ` ` o ` ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       o       o                                           |
−
| ` ` ` | ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       |       |                                           |
−
| ` ` r o-------o---o r ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|     r o-------o---o r                                     |
−
| ` ` ` `\` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       \     /                                           |
−
| ` ` ` ` \ ` / ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         \   /     o                                       |
−
| ` ` ` ` `\ /` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         \ /     |                                       |
−
| ` ` ` ` q o-------o---o q ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         q o-------o---o q                                 |
−
| ` ` ` ` ` `\` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           \     /                                       |
−
| ` ` ` ` ` ` \ ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \   /                                         |
−
| ` ` ` ` ` ` `\ /` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \ /                                         |
−
| ` ` ` ` ` ` p o-------o---o p ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             p o-------o---o p                             |
−
| ` ` ` ` ` ` ` `\` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \     /                                   |
−
| ` ` ` ` ` ` ` ` \ ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \   /                                     |
−
| ` ` ` ` ` ` ` ` `\ /` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \ /                                     |
−
| ` ` ` ` ` ` ` ` ` @ ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   @                                       |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o=============================< Cancellation >==============o
 
o=============================< Cancellation >==============o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` ` ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               o                                           |
−
| ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               |                                           |
−
| ` ` r o-------o---o r ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|     r o-------o---o r                                     |
−
| ` ` ` `\` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       \     /                                           |
−
| ` ` ` ` \ ` / ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         \   /     o                                       |
−
| ` ` ` ` `\ /` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         \ /     |                                       |
−
| ` ` ` ` q o-------o---o q ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         q o-------o---o q                                 |
−
| ` ` ` ` ` `\` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           \     /                                       |
−
| ` ` ` ` ` ` \ ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \   /                                         |
−
| ` ` ` ` ` ` `\ /` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \ /                                         |
−
| ` ` ` ` ` ` p o-------o---o p ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             p o-------o---o p                             |
−
| ` ` ` ` ` ` ` `\` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \     /                                   |
−
| ` ` ` ` ` ` ` ` \ ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \   /                                     |
−
| ` ` ` ` ` ` ` ` `\ /` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \ /                                     |
−
| ` ` ` ` ` ` ` ` ` @ ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   @                                       |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o=============================< DNF >=======================o
 
o=============================< DNF >=======================o
 
</pre>
 
</pre>
Line 1,539: Line 1,539:     
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` ` ` ` ` ` ` pqr o-------o---o p ` ` ` ` ` ` ` ` ` |
+
|                     pqr o-------o---o p                   |
−
| ` ` ` ` ` ` ` ` ` ` ` ` `\` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                         \     /                         |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` \ ` / ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                           \   /                           |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` `\ /` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                           \ /                           |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` @ ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                             @                             |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` ` ` ` ` ` ` ` (p q r, (p))` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       (p q r, (p))                       |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
 
</pre>
 
</pre>
Line 1,560: Line 1,560:  
<pre>
 
<pre>
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` ` ` ` ` ` ` ` p o-------o pqr ` ` ` ` ` ` ` ` ` ` |
+
|                       p o-------o pqr                     |
−
| ` ` ` ` ` ` ` ` ` ` ` ` `\` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                         \     /                         |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` \ ` / ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                           \   /                           |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` `\ /` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                           \ /                           |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                             o                             |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                             |                             |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                             |                             |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                             |                             |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` @ ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                             @                             |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` ` ` ` ` ` ` ` ((p , p q r)) ` ` ` ` ` ` ` ` ` ` ` |
+
|                       ((p , p q r))                       |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
 
</pre>
 
</pre>
Line 1,585: Line 1,585:  
<pre>
 
<pre>
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
−
| Emptiness Rule` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
| Emptiness Rule                                           |
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` o ` ` ` ` o---o ` ` ` o-o-o ` ` ` ` ` ` ` ` ` ` ` |
+
|         o         o---o       o-o-o                       |
−
| ` ` ` ` | ` ` ` ` `\ /` ` ` ` `\ /` ` ` ` ` ` ` ` ` ` ` ` |
+
|         |         \ /         \ /                       |
−
| ` ` ` ` @ ` ` = ` ` @ ` ` = ` ` @ ` ` = ` `...` ` ` ` ` ` |
+
|         @     =     @     =     @     =   ...           |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
 
</pre>
 
</pre>
Line 1,602: Line 1,602:  
<pre>
 
<pre>
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
−
| Indistinctness Rule ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
| Indistinctness Rule                                       |
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` ` ` ` ` ` a ` a ` ` ` a a a ` ` ` ` ` ` ` ` ` ` ` |
+
|                   a   a       a a a                       |
−
| ` ` ` ` o ` ` ` ` o---o ` ` ` o-o-o ` ` ` ` ` ` ` ` ` ` ` |
+
|         o         o---o       o-o-o                       |
−
| ` ` ` ` | ` ` ` ` `\ /` ` ` ` `\ /` ` ` ` ` ` ` ` ` ` ` ` |
+
|         |         \ /         \ /                       |
−
| ` ` ` ` @ ` ` = ` ` @ ` ` = ` ` @ ` ` = ` `...` ` ` ` ` ` |
+
|         @     =     @     =     @     =   ...           |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
 
</pre>
 
</pre>
Line 1,622: Line 1,622:  
<pre>
 
<pre>
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
−
| Evaluation Rule ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
| Evaluation Rule                                           |
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       o                                                   |
−
| ` ` ` | `x_2` `... x_k` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       | x_2   ... x_k                                   |
−
| ` ` ` o---o-...-o---o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       o---o-...-o---o                                     |
−
| ` ` ` `\` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       \           /                                     |
−
| ` ` ` ` \ ` ` ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         \         /                                       |
−
| ` ` ` ` `\` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         \       /                                       |
−
| ` ` ` ` ` \ ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           \     /                                         |
−
| ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           \   /                                         |
−
| ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` x_2 ... x_k ` ` ` ` |
+
|             \ /                       x_2 ... x_k         |
−
| ` ` ` ` ` ` `@` ` ` ` ` ` ` = ` ` ` ` ` ` `@` ` ` ` ` ` ` |
+
|             @             =             @             |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ((), x_2, ..., x_k) ` ` = ` ` ` ` x_2 ... x_k ` ` ` ` |
+
|     ((), x_2, ..., x_k)     =         x_2 ... x_k         |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
−
| ` ` ` ` ` `Setup` ` ` <---- | ----> ` ` `Spike` ` ` ` ` ` |
+
|           Setup     <---- | ---->     Spike           |
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
 
</pre>
 
</pre>
Line 1,662: Line 1,662:  
<pre>
 
<pre>
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
−
| Equation E_1, Written as an Equation in Cactus Language ` |
+
| Equation E_1, Written as an Equation in Cactus Language   |
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` ` ` ` ` ` `q o` `o r` `q o r` ` ` ` ` ` ` ` ` ` ` |
+
|                   q o   o r   q o r                     |
−
| ` ` ` ` ` ` ` ` ` ` `|` `|` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     |   |       |                       |
−
| ` ` ` ` ` ` ` ` ` `p o` `o p` `p o` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   p o   o p   p o                       |
−
| ` ` ` ` ` ` ` ` ` ` ` \ / ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       \ /       |                       |
−
| ` ` ` ` ` ` ` ` ` ` ` `o---------o` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       o---------o                       |
−
| ` ` ` ` ` ` ` ` ` ` ` ` \ ` ` ` / ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                         \       /                         |
−
| ` ` ` ` ` ` ` ` ` ` ` ` `\` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                         \     /                         |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` \ ` / ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                           \   /                           |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` `\ /` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                           \ /                           |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                             o                             |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                             |                             |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                             |                             |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                             |                             |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                             |                             |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` @ ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                             @                             |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` `(( `(p (q))` (p (r)) ` , ` (p` (q r))` ))` ` ` ` ` ` |
+
|     (( (p (q)) (p (r))   ,   (p (q r)) ))           |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` [[p=>q] & [p=>r]] `<=>` [p=>[q&r]]` ` ` ` ` ` ` ` |
+
|         [[p=>q] & [p=>r]] <=> [p=>[q&r]]               |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
 
</pre>
 
</pre>
Line 1,695: Line 1,695:  
<pre>
 
<pre>
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
−
| Equation E_1. `Proof 3. ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
| Equation E_1. Proof 3.                                   |
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` ` ` ` q o ` o r ` q o r ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               q o   o r   q o r                           |
−
| ` ` ` ` ` ` ` ` | ` | ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 |   |       |                             |
−
| ` ` ` ` ` ` ` p o ` o p ` p o ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               p o   o p   p o                             |
−
| ` ` ` ` ` ` ` ` `\ /` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \ /       |                             |
−
| ` ` ` ` ` ` ` ` ` o---------o ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   o---------o                             |
−
| ` ` ` ` ` ` ` ` ` `\ ` ` ` /` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   \       /                             |
−
| ` ` ` ` ` ` ` ` ` ` \` ` `/ ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     \     /                               |
−
| ` ` ` ` ` ` ` ` ` ` `\ ` /` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     \   /                               |
−
| ` ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       \ /                                 |
−
| ` ` ` ` ` ` ` ` ` ` ` `o` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       o                                 |
−
| ` ` ` ` ` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       |                                 |
−
| ` ` ` ` ` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       |                                 |
−
| ` ` ` ` ` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       |                                 |
−
| ` ` ` ` ` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       |                                 |
−
| ` ` ` ` ` ` ` ` ` ` ` `@` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       @                                 |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o==================================< CAST "p" >=============o
 
o==================================< CAST "p" >=============o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` `q` `r` ` q r ` `q` `r` ` qr` ` ` ` ` ` ` ` ` ` ` |
+
|         q   r   q r   q   r   qr                     |
−
| ` ` ` ` `o` `o` ` `o` ` `o o o o` `o o` ` ` ` ` ` ` ` ` ` |
+
|         o   o     o     o o o o   o o                   |
−
| ` ` ` ` `|` `|` ` `|` ` `|/ `|/ ` `|/ ` ` ` ` ` ` ` ` ` ` |
+
|         |   |     |     |/ |/   |/                     |
−
| ` ` ` ` `o` `o` ` `o` ` `o` `o` ` `o` ` ` ` ` ` ` ` ` ` ` |
+
|         o   o     o     o   o     o                     |
−
| ` ` ` ` ` \ / ` ` `|` ` ` \ / ` ` `|` ` ` ` ` ` ` ` ` ` ` |
+
|           \ /     |     \ /     |                     |
−
| ` ` ` ` ` `o-------o` ` ` `o-------o` ` ` ` ` ` ` ` ` ` ` |
+
|           o-------o       o-------o                     |
−
| ` ` ` ` ` ` \ ` ` / ` ` ` ` \ ` ` / ` ` ` ` ` ` ` ` ` ` ` |
+
|             \     /         \     /                       |
−
| ` ` ` ` ` ` `\` `/` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \   /           \   /                       |
−
| ` ` ` ` ` ` ` \ / ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \ /             \ /                         |
−
| ` ` ` ` ` ` ` `o` ` ` ` ` ` ` `o` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               o               o                         |
−
| ` ` ` ` ` ` ` `|` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               |               |                         |
−
| ` ` ` ` ` ` ` `|` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               |               |                         |
−
| ` ` ` ` ` ` ` `|` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               |               |                         |
−
| ` ` ` ` ` ` `p o---------------o---o p` ` ` ` ` ` ` ` ` ` |
+
|             p o---------------o---o p                   |
−
| ` ` ` ` ` ` ` ` \ ` ` ` ` ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \             /                           |
−
| ` ` ` ` ` ` ` ` `\` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \           /                           |
−
| ` ` ` ` ` ` ` ` ` \ ` ` ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   \         /                             |
−
| ` ` ` ` ` ` ` ` ` `\` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   \       /                             |
−
| ` ` ` ` ` ` ` ` ` ` \ ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     \     /                               |
−
| ` ` ` ` ` ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     \   /                               |
−
| ` ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       \ /                                 |
−
| ` ` ` ` ` ` ` ` ` ` ` `@` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       @                                 |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o==================================< Domination >===========o
 
o==================================< Domination >===========o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` `q` `r` ` q r ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         q   r   q r                                     |
−
| ` ` ` ` `o` `o` ` `o` ` ` `o` `o` ` `o` ` ` ` ` ` ` ` ` ` |
+
|         o   o     o       o   o     o                   |
−
| ` ` ` ` `|` `|` ` `|` ` ` / ` / ` ` / ` ` ` ` ` ` ` ` ` ` |
+
|         |   |     |     /   /     /                     |
−
| ` ` ` ` `o` `o` ` `o` ` `o` `o` ` `o` ` ` ` ` ` ` ` ` ` ` |
+
|         o   o     o     o   o     o                     |
−
| ` ` ` ` ` \ / ` ` `|` ` ` \ / ` ` `|` ` ` ` ` ` ` ` ` ` ` |
+
|           \ /     |     \ /     |                     |
−
| ` ` ` ` ` `o-------o` ` ` `o-------o` ` ` ` ` ` ` ` ` ` ` |
+
|           o-------o       o-------o                     |
−
| ` ` ` ` ` ` \ ` ` / ` ` ` ` \ ` ` / ` ` ` ` ` ` ` ` ` ` ` |
+
|             \     /         \     /                       |
−
| ` ` ` ` ` ` `\` `/` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \   /           \   /                       |
−
| ` ` ` ` ` ` ` \ / ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \ /             \ /                         |
−
| ` ` ` ` ` ` ` `o` ` ` ` ` ` ` `o` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               o               o                         |
−
| ` ` ` ` ` ` ` `|` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               |               |                         |
−
| ` ` ` ` ` ` ` `|` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               |               |                         |
−
| ` ` ` ` ` ` ` `|` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               |               |                         |
−
| ` ` ` ` ` ` `p o---------------o---o p` ` ` ` ` ` ` ` ` ` |
+
|             p o---------------o---o p                   |
−
| ` ` ` ` ` ` ` ` \ ` ` ` ` ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \             /                           |
−
| ` ` ` ` ` ` ` ` `\` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \           /                           |
−
| ` ` ` ` ` ` ` ` ` \ ` ` ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   \         /                             |
−
| ` ` ` ` ` ` ` ` ` `\` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   \       /                             |
−
| ` ` ` ` ` ` ` ` ` ` \ ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     \     /                               |
−
| ` ` ` ` ` ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     \   /                               |
−
| ` ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       \ /                                 |
−
| ` ` ` ` ` ` ` ` ` ` ` `@` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       @                                 |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o==================================< Cancellation >=========o
 
o==================================< Cancellation >=========o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` `q` `r` ` q r ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         q   r   q r                                     |
−
| ` ` ` ` `o` `o` ` `o` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         o   o     o                                     |
−
| ` ` ` ` `|` `|` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         |   |     |                                     |
−
| ` ` ` ` `o` `o` ` `o` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         o   o     o                                     |
−
| ` ` ` ` ` \ / ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           \ /     |                                     |
−
| ` ` ` ` ` `o-------o` ` ` `o-------o` ` ` ` ` ` ` ` ` ` ` |
+
|           o-------o       o-------o                     |
−
| ` ` ` ` ` ` \ ` ` / ` ` ` ` \ ` ` / ` ` ` ` ` ` ` ` ` ` ` |
+
|             \     /         \     /                       |
−
| ` ` ` ` ` ` `\` `/` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \   /           \   /                       |
−
| ` ` ` ` ` ` ` \ / ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \ /             \ /                         |
−
| ` ` ` ` ` ` ` `o` ` ` ` ` ` ` `o` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               o               o                         |
−
| ` ` ` ` ` ` ` `|` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               |               |                         |
−
| ` ` ` ` ` ` ` `|` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               |               |                         |
−
| ` ` ` ` ` ` ` `|` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               |               |                         |
−
| ` ` ` ` ` ` `p o---------------o---o p` ` ` ` ` ` ` ` ` ` |
+
|             p o---------------o---o p                   |
−
| ` ` ` ` ` ` ` ` \ ` ` ` ` ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \             /                           |
−
| ` ` ` ` ` ` ` ` `\` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \           /                           |
−
| ` ` ` ` ` ` ` ` ` \ ` ` ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   \         /                             |
−
| ` ` ` ` ` ` ` ` ` `\` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   \       /                             |
−
| ` ` ` ` ` ` ` ` ` ` \ ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     \     /                               |
−
| ` ` ` ` ` ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     \   /                               |
−
| ` ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       \ /                                 |
−
| ` ` ` ` ` ` ` ` ` ` ` `@` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       @                                 |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o==================================< Emptiness >============o
 
o==================================< Emptiness >============o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` `q` `r` ` q r ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         q   r   q r                                     |
−
| ` ` ` ` `o` `o` ` `o` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         o   o     o                                     |
−
| ` ` ` ` `|` `|` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         |   |     |                                     |
−
| ` ` ` ` `o` `o` ` `o` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         o   o     o                                     |
−
| ` ` ` ` ` \ / ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           \ /     |                                     |
−
| ` ` ` ` ` `o-------o` ` ` ` ` `o` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           o-------o           o                         |
−
| ` ` ` ` ` ` \ ` ` / ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \     /           |                         |
−
| ` ` ` ` ` ` `\` `/` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \   /             |                         |
−
| ` ` ` ` ` ` ` \ / ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \ /             |                         |
−
| ` ` ` ` ` ` ` `o` ` ` ` ` ` ` `o` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               o               o                         |
−
| ` ` ` ` ` ` ` `|` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               |               |                         |
−
| ` ` ` ` ` ` ` `|` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               |               |                         |
−
| ` ` ` ` ` ` ` `|` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               |               |                         |
−
| ` ` ` ` ` ` `p o---------------o---o p` ` ` ` ` ` ` ` ` ` |
+
|             p o---------------o---o p                   |
−
| ` ` ` ` ` ` ` ` \ ` ` ` ` ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \             /                           |
−
| ` ` ` ` ` ` ` ` `\` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \           /                           |
−
| ` ` ` ` ` ` ` ` ` \ ` ` ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   \         /                             |
−
| ` ` ` ` ` ` ` ` ` `\` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   \       /                             |
−
| ` ` ` ` ` ` ` ` ` ` \ ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     \     /                               |
−
| ` ` ` ` ` ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     \   /                               |
−
| ` ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       \ /                                 |
−
| ` ` ` ` ` ` ` ` ` ` ` `@` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       @                                 |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o==================================< Cancellation >=========o
 
o==================================< Cancellation >=========o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` `q` `r` ` q r ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         q   r   q r                                     |
−
| ` ` ` ` `o` `o` ` `o` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         o   o     o                                     |
−
| ` ` ` ` `|` `|` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         |   |     |                                     |
−
| ` ` ` ` `o` `o` ` `o` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         o   o     o                                     |
−
| ` ` ` ` ` \ / ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           \ /     |                                     |
−
| ` ` ` ` ` `o-------o` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           o-------o                                     |
−
| ` ` ` ` ` ` \ ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \     /                                       |
−
| ` ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \   /                                       |
−
| ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \ /                                         |
−
| ` ` ` ` ` ` ` `o` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               o                                         |
−
| ` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               |                                         |
−
| ` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               |                                         |
−
| ` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               |                                         |
−
| ` ` ` ` ` ` `p o---------------o---o p` ` ` ` ` ` ` ` ` ` |
+
|             p o---------------o---o p                   |
−
| ` ` ` ` ` ` ` ` \ ` ` ` ` ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \             /                           |
−
| ` ` ` ` ` ` ` ` `\` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \           /                           |
−
| ` ` ` ` ` ` ` ` ` \ ` ` ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   \         /                             |
−
| ` ` ` ` ` ` ` ` ` `\` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   \       /                             |
−
| ` ` ` ` ` ` ` ` ` ` \ ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     \     /                               |
−
| ` ` ` ` ` ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     \   /                               |
−
| ` ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       \ /                                 |
−
| ` ` ` ` ` ` ` ` ` ` ` `@` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       @                                 |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o==================================< CAST "q" >=============o
 
o==================================< CAST "q" >=============o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` ` ` ` ` ` ` `o` ` ` ` `o` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     o         o                         |
−
| ` ` ` ` `r` ` `r` ` `|` `r` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         r     r     |   r     |                         |
−
| ` ` `o` `o` ` `o` ` `o` `o` ` `o r` ` ` ` ` ` ` ` ` ` ` ` |
+
|     o   o     o     o   o     o r                       |
−
| ` ` `|` `|` ` `|` ` `|` `|` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|     |   |     |     |   |     |                         |
−
| ` ` `o` `o` ` `o` ` `o` `o` ` `o` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|     o   o     o     o   o     o                         |
−
| ` ` ` \ / ` ` `|` ` ` \ / ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       \ /     |     \ /     |                         |
−
| ` ` ` `o-------o` ` ` `o-------o` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       o-------o       o-------o                         |
−
| ` ` ` ` \ ` ` / ` ` ` ` \ ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         \     /         \     /                           |
−
| ` ` ` ` `\` `/` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         \   /           \   /                           |
−
| ` ` ` ` ` \ / ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           \ /             \ /                             |
−
| ` ` ` ` ` `o` ` ` ` ` ` ` `o` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           o               o                             |
−
| ` ` ` ` ` `|` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           |               |                             |
−
| ` ` ` ` ` `|` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           |               |                             |
−
| ` ` ` ` ` `|` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           |               |                             |
−
| ` ` ` ` `q o---------------o---o q` ` ` ` ` ` ` ` ` ` ` ` |
+
|         q o---------------o---o q                       |
−
| ` ` ` ` ` ` \ ` ` ` ` ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \             /                               |
−
| ` ` ` ` ` ` `\` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \           /                               |
−
| ` ` ` ` ` ` ` \ ` ` ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \         /                                 |
−
| ` ` ` ` ` ` ` `\` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \       /                                 |
−
| ` ` ` ` ` ` ` ` \ ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \     /                                   |
−
| ` ` ` ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \   /                                   |
−
| ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   \ /                                     |
−
| ` ` ` ` ` ` ` ` `p o-------o---o p` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 p o-------o---o p                       |
−
| ` ` ` ` ` ` ` ` ` ` \ ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     \     /                               |
−
| ` ` ` ` ` ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     \   /                               |
−
| ` ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       \ /                                 |
−
| ` ` ` ` ` ` ` ` ` ` ` `@` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       @                                 |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o==================================< Domination >===========o
 
o==================================< Domination >===========o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` ` ` ` ` ` ` `o` ` ` ` `o` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     o         o                         |
−
| ` ` ` ` `r` ` `r` ` `|` `r` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         r     r     |   r     |                         |
−
| ` ` `o` `o` ` `o` ` `o` `o` ` `o` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|     o   o     o     o   o     o                         |
−
| ` ` `|` `|` ` `|` ` `|` `|` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|     |   |     |     |   |     |                         |
−
| ` ` `o` `o` ` `o` ` `o` `o` ` `o` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|     o   o     o     o   o     o                         |
−
| ` ` ` \ / ` ` `|` ` ` \ / ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       \ /     |     \ /     |                         |
−
| ` ` ` `o-------o` ` ` `o-------o` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       o-------o       o-------o                         |
−
| ` ` ` ` \ ` ` / ` ` ` ` \ ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         \     /         \     /                           |
−
| ` ` ` ` `\` `/` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         \   /           \   /                           |
−
| ` ` ` ` ` \ / ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           \ /             \ /                             |
−
| ` ` ` ` ` `o` ` ` ` ` ` ` `o` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           o               o                             |
−
| ` ` ` ` ` `|` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           |               |                             |
−
| ` ` ` ` ` `|` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           |               |                             |
−
| ` ` ` ` ` `|` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           |               |                             |
−
| ` ` ` ` `q o---------------o---o q` ` ` ` ` ` ` ` ` ` ` ` |
+
|         q o---------------o---o q                       |
−
| ` ` ` ` ` ` \ ` ` ` ` ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \             /                               |
−
| ` ` ` ` ` ` `\` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \           /                               |
−
| ` ` ` ` ` ` ` \ ` ` ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \         /                                 |
−
| ` ` ` ` ` ` ` `\` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \       /                                 |
−
| ` ` ` ` ` ` ` ` \ ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \     /                                   |
−
| ` ` ` ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \   /                                   |
−
| ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   \ /                                     |
−
| ` ` ` ` ` ` ` ` `p o-------o---o p` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 p o-------o---o p                       |
−
| ` ` ` ` ` ` ` ` ` ` \ ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     \     /                               |
−
| ` ` ` ` ` ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     \   /                               |
−
| ` ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       \ /                                 |
−
| ` ` ` ` ` ` ` ` ` ` ` `@` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       @                                 |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o==================================< Cancellation >=========o
 
o==================================< Cancellation >=========o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` `r` ` `r` ` ` ` `r` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         r     r         r                               |
−
| ` ` ` ` `o` ` `o` ` ` ` `o` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         o     o         o                               |
−
| ` ` ` ` `|` ` `|` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         |     |         |                               |
−
| ` ` ` ` `o` ` `o` ` `o` `o` ` `o` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         o     o     o   o     o                         |
−
| ` ` ` ` / ` ` `|` ` ` \ / ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         /     |     \ /     |                         |
−
| ` ` ` `o-------o` ` ` `o-------o` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       o-------o       o-------o                         |
−
| ` ` ` ` \ ` ` / ` ` ` ` \ ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         \     /         \     /                           |
−
| ` ` ` ` `\` `/` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         \   /           \   /                           |
−
| ` ` ` ` ` \ / ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           \ /             \ /                             |
−
| ` ` ` ` ` `o` ` ` ` ` ` ` `o` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           o               o                             |
−
| ` ` ` ` ` `|` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           |               |                             |
−
| ` ` ` ` ` `|` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           |               |                             |
−
| ` ` ` ` ` `|` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           |               |                             |
−
| ` ` ` ` `q o---------------o---o q` ` ` ` ` ` ` ` ` ` ` ` |
+
|         q o---------------o---o q                       |
−
| ` ` ` ` ` ` \ ` ` ` ` ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \             /                               |
−
| ` ` ` ` ` ` `\` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \           /                               |
−
| ` ` ` ` ` ` ` \ ` ` ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \         /                                 |
−
| ` ` ` ` ` ` ` `\` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \       /                                 |
−
| ` ` ` ` ` ` ` ` \ ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \     /                                   |
−
| ` ` ` ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \   /                                   |
−
| ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   \ /                                     |
−
| ` ` ` ` ` ` ` ` `p o-------o---o p` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 p o-------o---o p                       |
−
| ` ` ` ` ` ` ` ` ` ` \ ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     \     /                               |
−
| ` ` ` ` ` ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     \   /                               |
−
| ` ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       \ /                                 |
−
| ` ` ` ` ` ` ` ` ` ` ` `@` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       @                                 |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o==================================< Domination >===========o
 
o==================================< Domination >===========o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` `r` ` `r` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         r     r                                         |
−
| ` ` ` ` `o` ` `o` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         o     o                                         |
−
| ` ` ` ` `|` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         |     |                                         |
−
| ` ` ` ` `o` ` `o` ` `o` ` ` ` `o` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         o     o     o         o                         |
−
| ` ` ` ` / ` ` `|` ` ` \ ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         /     |     \       |                         |
−
| ` ` ` `o-------o` ` ` `o-------o` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       o-------o       o-------o                         |
−
| ` ` ` ` \ ` ` / ` ` ` ` \ ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         \     /         \     /                           |
−
| ` ` ` ` `\` `/` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         \   /           \   /                           |
−
| ` ` ` ` ` \ / ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           \ /             \ /                             |
−
| ` ` ` ` ` `o` ` ` ` ` ` ` `o` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           o               o                             |
−
| ` ` ` ` ` `|` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           |               |                             |
−
| ` ` ` ` ` `|` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           |               |                             |
−
| ` ` ` ` ` `|` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           |               |                             |
−
| ` ` ` ` `q o---------------o---o q` ` ` ` ` ` ` ` ` ` ` ` |
+
|         q o---------------o---o q                       |
−
| ` ` ` ` ` ` \ ` ` ` ` ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \             /                               |
−
| ` ` ` ` ` ` `\` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \           /                               |
−
| ` ` ` ` ` ` ` \ ` ` ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \         /                                 |
−
| ` ` ` ` ` ` ` `\` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \       /                                 |
−
| ` ` ` ` ` ` ` ` \ ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \     /                                   |
−
| ` ` ` ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \   /                                   |
−
| ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   \ /                                     |
−
| ` ` ` ` ` ` ` ` `p o-------o---o p` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 p o-------o---o p                       |
−
| ` ` ` ` ` ` ` ` ` ` \ ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     \     /                               |
−
| ` ` ` ` ` ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     \   /                               |
−
| ` ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       \ /                                 |
−
| ` ` ` ` ` ` ` ` ` ` ` `@` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       @                                 |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o==================================< Spike >================o
 
o==================================< Spike >================o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` `r` ` `r` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         r     r                                         |
−
| ` ` ` ` `o` ` `o` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         o     o                                         |
−
| ` ` ` ` `|` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         |     |                                         |
−
| ` ` ` ` `o` ` `o` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         o     o                                         |
−
| ` ` ` ` / ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         /     |                                         |
−
| ` ` ` `o-------o` ` ` ` ` `o` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       o-------o           o                             |
−
| ` ` ` ` \ ` ` / ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         \     /           |                             |
−
| ` ` ` ` `\` `/` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         \   /             |                             |
−
| ` ` ` ` ` \ / ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           \ /             |                             |
−
| ` ` ` ` ` `o` ` ` ` ` ` ` `o` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           o               o                             |
−
| ` ` ` ` ` `|` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           |               |                             |
−
| ` ` ` ` ` `|` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           |               |                             |
−
| ` ` ` ` ` `|` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           |               |                             |
−
| ` ` ` ` `q o---------------o---o q` ` ` ` ` ` ` ` ` ` ` ` |
+
|         q o---------------o---o q                       |
−
| ` ` ` ` ` ` \ ` ` ` ` ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \             /                               |
−
| ` ` ` ` ` ` `\` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \           /                               |
−
| ` ` ` ` ` ` ` \ ` ` ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \         /                                 |
−
| ` ` ` ` ` ` ` `\` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \       /                                 |
−
| ` ` ` ` ` ` ` ` \ ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \     /                                   |
−
| ` ` ` ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \   /                                   |
−
| ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   \ /                                     |
−
| ` ` ` ` ` ` ` ` `p o-------o---o p` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 p o-------o---o p                       |
−
| ` ` ` ` ` ` ` ` ` ` \ ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     \     /                               |
−
| ` ` ` ` ` ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     \   /                               |
−
| ` ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       \ /                                 |
−
| ` ` ` ` ` ` ` ` ` ` ` `@` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       @                                 |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o==================================< Cancellation >=========o
 
o==================================< Cancellation >=========o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` `r` ` `r` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         r     r                                         |
−
| ` ` ` ` `o` ` `o` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         o     o                                         |
−
| ` ` ` ` `|` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         |     |                                         |
−
| ` ` ` ` `o` ` `o` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         o     o                                         |
−
| ` ` ` ` / ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         /     |                                         |
−
| ` ` ` `o-------o` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       o-------o                                         |
−
| ` ` ` ` \ ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         \     /                                           |
−
| ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         \   /                                           |
−
| ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           \ /                                             |
−
| ` ` ` ` ` `o` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           o                                             |
−
| ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           |                                             |
−
| ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           |                                             |
−
| ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           |                                             |
−
| ` ` ` ` `q o---------------o---o q` ` ` ` ` ` ` ` ` ` ` ` |
+
|         q o---------------o---o q                       |
−
| ` ` ` ` ` ` \ ` ` ` ` ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \             /                               |
−
| ` ` ` ` ` ` `\` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \           /                               |
−
| ` ` ` ` ` ` ` \ ` ` ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \         /                                 |
−
| ` ` ` ` ` ` ` `\` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \       /                                 |
−
| ` ` ` ` ` ` ` ` \ ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \     /                                   |
−
| ` ` ` ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \   /                                   |
−
| ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   \ /                                     |
−
| ` ` ` ` ` ` ` ` `p o-------o---o p` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 p o-------o---o p                       |
−
| ` ` ` ` ` ` ` ` ` ` \ ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     \     /                               |
−
| ` ` ` ` ` ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     \   /                               |
−
| ` ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       \ /                                 |
−
| ` ` ` ` ` ` ` ` ` ` ` `@` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       @                                 |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o==================================< CAST "r" >=============o
 
o==================================< CAST "r" >=============o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` ` ` ` ` ` ` `o` ` `o` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     o     o                             |
−
| ` ` ` ` ` ` ` ` ` ` `|` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     |     |                             |
−
| ` ` `o` ` `o` ` ` ` `o` ` `o` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|     o     o         o     o                             |
−
| ` ` `|` ` `|` ` ` ` `|` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|     |     |         |     |                             |
−
| ` ` `o` ` `o` ` ` ` `o` ` `o` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|     o     o         o     o                             |
−
| ` ` / ` ` `|` ` ` ` / ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|     /     |       /     |                             |
−
| ` `o-------o` ` ` `o-------o` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|   o-------o       o-------o                             |
−
| ` ` \ ` ` / ` ` ` ` \ ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|     \     /         \     /                               |
−
| ` ` `\` `/` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|     \   /           \   /                               |
−
| ` ` ` \ / ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       \ /             \ /                                 |
−
| ` ` ` `o` ` ` ` ` ` ` `o` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       o               o                                 |
−
| ` ` ` `|` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       |               |                                 |
−
| ` ` ` `|` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       |               |                                 |
−
| ` ` ` `|` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       |               |                                 |
−
| ` ` `r o---------------o---o r` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|     r o---------------o---o r                           |
−
| ` ` ` ` \ ` ` ` ` ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         \             /                                   |
−
| ` ` ` ` `\` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         \           /                                   |
−
| ` ` ` ` ` \ ` ` ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           \         /                                     |
−
| ` ` ` ` ` `\` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           \       /                                     |
−
| ` ` ` ` ` ` \ ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \     /                                       |
−
| ` ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \   /                                       |
−
| ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \ /                                         |
−
| ` ` ` ` ` ` `q o-------o---o q` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             q o-------o---o q                           |
−
| ` ` ` ` ` ` ` ` \ ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \     /                                   |
−
| ` ` ` ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \   /                                   |
−
| ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   \ /                                     |
−
| ` ` ` ` ` ` ` ` `p o-------o---o p` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 p o-------o---o p                       |
−
| ` ` ` ` ` ` ` ` ` ` \ ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     \     /                               |
−
| ` ` ` ` ` ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     \   /                               |
−
| ` ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       \ /                                 |
−
| ` ` ` ` ` ` ` ` ` ` ` `@` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       @                                 |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o==================================< Cancellation >=========o
 
o==================================< Cancellation >=========o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` ` ` ` ` ` ` `o` ` `o` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     o     o                             |
−
| ` ` ` ` ` ` ` ` ` ` / ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     /     |                             |
−
| ` `o-------o` ` ` `o-------o` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|   o-------o       o-------o                             |
−
| ` ` \ ` ` / ` ` ` ` \ ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|     \     /         \     /                               |
−
| ` ` `\` `/` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|     \   /           \   /                               |
−
| ` ` ` \ / ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       \ /             \ /                                 |
−
| ` ` ` `o` ` ` ` ` ` ` `o` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       o               o                                 |
−
| ` ` ` `|` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       |               |                                 |
−
| ` ` ` `|` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       |               |                                 |
−
| ` ` ` `|` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       |               |                                 |
−
| ` ` `r o---------------o---o r` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|     r o---------------o---o r                           |
−
| ` ` ` ` \ ` ` ` ` ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         \             /                                   |
−
| ` ` ` ` `\` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         \           /                                   |
−
| ` ` ` ` ` \ ` ` ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           \         /                                     |
−
| ` ` ` ` ` `\` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           \       /                                     |
−
| ` ` ` ` ` ` \ ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \     /                                       |
−
| ` ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \   /                                       |
−
| ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \ /                                         |
−
| ` ` ` ` ` ` `q o-------o---o q` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             q o-------o---o q                           |
−
| ` ` ` ` ` ` ` ` \ ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \     /                                   |
−
| ` ` ` ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \   /                                   |
−
| ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   \ /                                     |
−
| ` ` ` ` ` ` ` ` `p o-------o---o p` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 p o-------o---o p                       |
−
| ` ` ` ` ` ` ` ` ` ` \ ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     \     /                               |
−
| ` ` ` ` ` ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     \   /                               |
−
| ` ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       \ /                                 |
−
| ` ` ` ` ` ` ` ` ` ` ` `@` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       @                                 |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o==================================< Emptiness & Spike >====o
 
o==================================< Emptiness & Spike >====o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` `o` ` ` ` ` ` ` `o` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       o               o                                 |
−
| ` ` ` `|` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       |               |                                 |
−
| ` ` ` `|` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       |               |                                 |
−
| ` ` ` `|` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       |               |                                 |
−
| ` ` ` `o` ` ` ` ` ` ` `o` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       o               o                                 |
−
| ` ` ` `|` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       |               |                                 |
−
| ` ` ` `|` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       |               |                                 |
−
| ` ` ` `|` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       |               |                                 |
−
| ` ` `r o---------------o---o r` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|     r o---------------o---o r                           |
−
| ` ` ` ` \ ` ` ` ` ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         \             /                                   |
−
| ` ` ` ` `\` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         \           /                                   |
−
| ` ` ` ` ` \ ` ` ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           \         /                                     |
−
| ` ` ` ` ` `\` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           \       /                                     |
−
| ` ` ` ` ` ` \ ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \     /                                       |
−
| ` ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \   /                                       |
−
| ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \ /                                         |
−
| ` ` ` ` ` ` `q o-------o---o q` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             q o-------o---o q                           |
−
| ` ` ` ` ` ` ` ` \ ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \     /                                   |
−
| ` ` ` ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \   /                                   |
−
| ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   \ /                                     |
−
| ` ` ` ` ` ` ` ` `p o-------o---o p` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 p o-------o---o p                       |
−
| ` ` ` ` ` ` ` ` ` ` \ ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     \     /                               |
−
| ` ` ` ` ` ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     \   /                               |
−
| ` ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       \ /                                 |
−
| ` ` ` ` ` ` ` ` ` ` ` `@` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       @                                 |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o==================================< Cancellation >=========o
 
o==================================< Cancellation >=========o
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
−
| ` ` ` ` `r o-------o---o r` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         r o-------o---o r                               |
−
| ` ` ` ` ` ` \ ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \     /                                       |
−
| ` ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \   /                                       |
−
| ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \ /                                         |
−
| ` ` ` ` ` ` `q o-------o---o q` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             q o-------o---o q                           |
−
| ` ` ` ` ` ` ` ` \ ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \     /                                   |
−
| ` ` ` ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \   /                                   |
−
| ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   \ /                                     |
−
| ` ` ` ` ` ` ` ` `p o-------o---o p` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 p o-------o---o p                       |
−
| ` ` ` ` ` ` ` ` ` ` \ ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     \     /                               |
−
| ` ` ` ` ` ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     \   /                               |
−
| ` ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       \ /                                 |
−
| ` ` ` ` ` ` ` ` ` ` ` `@` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       @                                 |
−
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o==================================< QED >==================o
 
o==================================< QED >==================o
 
</pre>
 
</pre>
Jon Awbrey
12,080

edits

Retrieved from "https://mywikibiz.com/Special:MobileDiff/90444"