After a brief introduction to axions in string theory, discussing their quality and the origin of their couplings, I will review recent progress in understanding their properties in different string theories from type IIB to heterotic string theories. I will show how the discovery of a light ALP — that is, above the QCD line — is incompatible with unification and heterotic string theory. Finally I will discuss our limitations and the questions that remain open.