otherwise, if finite, it contains directed cycles (like rock-paper-scissors-rock) and the magma is non-associative. To see the latter, consider combining all the elements in a cycle in reverse order, i.e. so that each element combined beats the previous one;
