Since its invention, the isolation lemma has proved useful in a variety of contexts. We sketch some variants of the isolation lemma and apply them to obtain smoothed analyses of, for instance, integer programming, min-cost flow, and belief propagation.