fixed Skolemisation