removed skolems completely