m : Pred.