Skolemization cleaned up