Skolemization implemented