
     the y position in L0-row1 is 0,
     the z position in L0-row1 is 0.

|    &lt;0, 1, 1&gt;

MW:  (L0-row L0-row2)
     (x L0-row2 0)
     (y L0-row2 1)
     (z L0-row2 1)

|    &lt;1, 0, 1&gt;

MW:  (L0-row L0-row3)
     (x L0-row3 1)
     (y L0-row3 0)
     (z L0-row3 1)

|    &lt;1, 1, 0&gt;

MW:  (L0-row L0-row4)
     (x L0-row4 1)
     (y L0-row4 1)
     (z L0-row4 0)

| Relation L1
|
| L1 = {&lt;x, y, z&gt; in B^3 : x + y + z = 1}.
|
| L1 has the following four triples
| of the form &lt;x, y, z&g