non trivial elimination finish