Existence conjecture for arity-nonreducible polyadic groupal categories

Let a polyadic nonunital non-strict groupal category be a polyadic non-strict semigroupal category equipped with a querfunctor and quertors satisfying the groupal coherence conditions. Existence conjecture for arity-nonreducible groupal categories. There exist polyadic nonunital non-strict groupal categories that are arity-nonreducible, so that their $n$-ary tensor product cannot be presented as iterations of a binary tensor product.

The claim asserts that genuinely polyadic groupal categories exist beyond binary reductions. The source provides no resolution of this existence statement.