New posts in Satisfiability

Why does Skolemming not preserve validity?