Description
I will discuss the possibility to extract short-distance parameters from the integrated CP asymmetry in $K\to\mu^+\mu^-$, the interplay between $A_{\rm CP}(K\to\mu^+\mu^-)$ and other observables, and the prospects for measurement within an LHCb-like setup as a case study.
