What purpose do departure formalities serve? >>