Definition of "re-enters"