We see that relocating the brackets in accord with this format, the left-hand term of the second equation is transformed into the left-hand term of the third equation, and the same for the right-hand terms. So the visual experience plays an evidential role in our recognising as valid the step from the second equation to the third. Hence this quite standard route to knowledge of left-cancellation turns out to be a posteriori, even though it is a clear case of following a proof.