Redirecting to Existentially closed model