formula_list(usable). % intersection of relations

	all x y ( n(x,y) = c(u(c(x),c(y))) ).

end_of_list.