Invert Existence (Regular)