<prec. succ.>