24 , H . Banko , för Zk ' enum.