Shouldn't this be just `pred`?