An n-ary operation q : Σn → Σ is called an n-ary quasigroup of order |Σ| if in x0 = q(x1, . . . , xn) knowledge of any n elements of x0, . . . , xn uniquely specifies the remaining one. An n-ary quasigroup q is permutably reducible if q(x1, . . . , xn) = p(r(xσ(1), . . . , xσ(k)), xσ(k+1), . . . , xσ(n)) where p and r are (n− k + 1)-ary and k-ary quasigroups, σ is a permutation, and 1 < k < n. ...