Suppose that one comes to know left-cancellation by following this sequence of steps. Is this an a priori way of getting this knowledge? Although following a mathematical proof is thought to be a paradigmatically a priori way of getting knowledge, attention to the role of visual experience here throws this into doubt. The case for claiming that the visual experience has an evidential role is as follows.