formula_list(usable). % yet another sibling of Schroeder's cycle law

( all x y z ( n(y,k(n(x,k(y,r(z))),z)) = n(k(x,z),y) )).

end_of_list.