Comment by 7373737373

I'd like to seen an extension of this table with the negation of these axioms