Skolemization done