We generated about 4,000 possible laws of algebra that certain operations can satisfy, and we investigate which laws imply others. For example, commutativity does not imply associativity, as there are operations that obey commutativity but not associativity.