Elimination, plugging in, guessing rules, and pacing.