I think that still goes from skolem to non-skolem
i don't know how to go from non-skolem to (original) skolem