` ` ` ` ` @ ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
o-------------------------------------------------o

But this expresses the &quot;just one true&quot; condition that partitions
the remaining space, that is to say, the space where g is true,
into k sectors where each of the s_j in its own turn is true.

On the other hand, in the case where g is false,
we are left with a k-lobe with one bare spike:

o-------------------------------------------------o
| ` ` ` ` ` ` ` ` 