quinquivalency unequivalence finitisation nonequivalency quinquevalency finalization closeability equipollency invariancy enforcibility