< Prec
Succ >
< Prec
Succ >