← prec1 2  succ →