skolem: instantiation functions