Working skolemize