How to elucidate the mechanism of CP violation

Several CP-violating observables, particularly in semileptonic decays of K's, have the property that they are expected to vanish in the standard model, but are nonzero in alternative models. Thus, they provide very clean ways to test whether the standard model is the (sole) source of CP violation and to determine the properties of any other source that may enter. We mainly consider the transverse muon polarization from K/sub ..mu..//sub 3/ (which isolates S and P effective Lagrangians), and the K/sub e//sub 4/ spectrum (which contains a term that isolates V and A effective Lagrangians). We briefly comment on W/sup +- / production, and heavy-quark and -lepton decays.