a n : Pred.