< Prec.   Succ. >