formula_list(usable).

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

end_of_list.