← prec1 2 3  succ →