A more general after-jumpping logic.