formula_list(usable).

(	all x ( i(x,k(k(x,r(x)),x) ) ) ). % (xvii)_a

end_of_list.