formula_list(usable).


( all x y z (

(i(x,I) & i(y,I)) -> i(n(k(x,z),k(y,z)), k(n(x,y),z) ) 

)).



end_of_list.