formula_list(usable). ( all x ( c(k(n(I,x),U)) = k(n(I,c(x)),U) )). % (xxiv) end_of_list.