formula_list(usable).

( all y z v ( i(k(n(y,z),v),k(y,v)) )).

( all x y z v ( i(u(k(n(y,z),n(v,x)),k(n(y,z),n(v,c(x)))),u(k(n(y,z),n(v,x)),k(y,n(v,c(x))))) )).

end_of_list.