Solve for Existence