add succ to Core