Independence from OF