返回的是(pred x)的值，不是x