1 PRED(x)