Associativity, expressed without symbols, is this: When the binary group operation is applied twice in succession on an ordered triple of operands \(\langle a, b, c\rangle\), it makes no difference whether the first application is to the initial two operands or the final two operands. While this is the content of associativity, for ease of processing associativity is almost always expressed as a symbol-manipulation rule. Visual perception is used to tell in particular cases whether the rule thus expressed is correctly implemented, in the context of prior knowledge that the rule is correct. What is going on here is a familiar division of labour in mathematical thinking. We first establish the soundness of a rule of symbol-manipulation (in terms of the governing semantic conventions—in this case the matter is trivial); then we check visually that the rule is correctly implemented. Processing at a more abstract, semantic level is often harder than processing at a purely syntactic level; it is for this reason that we often resort to symbol-manipulation techniques as proxy for reasoning directly with meanings to solve a problem. (What is six eighths divided by three fifths, without using any symbolic technique?) When we do use symbol-manipulation in proving or following a proof, visual experience is required to discern that the moves conform to permitted patterns and thus contributes to our grounds for accepting the argument. Then the way of coming to know the conclusion has an a posteriori element.