Testing Semigroups to Ensure They Abide by the Law of Associativity by Thomas Greco