exists -> exits