formula_list(usable). % special cases of the double complement law

( ( c(D) = I ) ). % 14a 

( ( c(Z) = U ) ). % 14b

end_of_list.