  We discuss a number of old and new methods for computing $K\to\pi\pi$
amplitudes on the lattice. They all involve a non-perturbative determination of
matching coefficients. We show how problems related to operator mixing can be
greatly reduced by using point-split hadronic currents.
