for dl being FinSeq-Location holds dl <> IC