isReduced should be a Pred