changed Pred to have a toString