There has been a recent controversy over whether the photon-axion coupling is quantized (in appropriate units) or not. It was claimed that this was a deep theorem but counter-examples seemed to show otherwise resulting in an “academic discussion” in which the participants could not come to a shared conclusion.  In this talk I will examine the axion hidden in the Seiberg-Witten theory, which has the essential features of the counter-examples but with the added benefit of being solved exactly at low-energies. I will show how this analysis puts the argument to rest.