changed to use Pred not Part