% benchmark parameters -N6 -p % % Find an invertable lattice that is not an ortholattice. % include("finite-lattice"). list(usable). % Complement and Invertability c(x) v x = 1. c(x) ^ x = 0. c(c(x)) = x. % Denial of compatibility c(A ^ B) != c(A) v c(B). end_of_list.