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