for l being FinSeq-Location holds Values l = INT *