Started thinking about skolemization