A group $G$ is existentially closed (algebraically closed) if every finite system of equations and in-equations that has coefficients in $G$ and has a solution in an overgroup $H\geq G$ has a solution in $G$. Existentially closed groups were introduced by W. R. https://www.getpureroutine.com/special-pick-aus-309-darwin-to-penguin-shoal-fashion-great-offer/