formula_list(usable).

	( all x y z ( i(x,y) & i(x,z) -> i(x,n(y,z)) )). % 29

end_of_list.