formula_list(usable).

( all x ( i(k(r(n(x,d(c(x),I))),n(x,d(c(x),I))),I) )). % (xxix)

end_of_list.