r of categories, and this reflects the real complexity
    in computational terms of working with this particular syntax when
    it comes to expressing and reasoning with partition constraints.

JA: For the sake of contrast, you might consider how you would express
    a k-fold partition constraint in the customary pentaglyphic syntax
    of pseudo-primitives {&quot;~&quot;, &quot;&amp;&quot;, &quot;v&quot;, &quot;=&gt;&quot;, &quot;&lt;=&gt;&quot;} and then reflect
    on how the candidate expression grow