Wouldn't that only show \exists x: A(x)? Or perhaps by free variable you mean one whose value isn't decidable - but that contradicts having chosen values in the

Wouldn't that only show \exists x: A(x)? Or perhaps by free variable you mean one whose value isn't decidable - but that contradicts having chosen values in the origin comment.