for I being Int-Location holds I is Data-Location