"... In my view, after more than 25 years, the preferred solution to the strong CP problem still remains the idea that the Standard Model has an additional U(1)PQ symmetry. Such a solution, necessarily, predicts the existence of a concomitant axion."