abstract DictFinAbs = { cat NK ; AK ; VK ; AdvK ;