exit formalities