formula_list(usable). % constant relations

	D = c(I). % diversity (complement of Peircean identity)

	U = u(I,D). % total relation (Boolean maximum)

	Z = c(U). % null relation (Boolean minimum)

end_of_list.