for il being Nat
for dl being Data-Location holds il <> dl