formula_list(usable). % Peircean sum (dual of Peircean product)

	all x y ( d(x,y) = c(k(c(x),c(y))) ).

end_of_list.