exist -> exits