prec succ