Ultimately I'll need to find data to settle how paranoid I might be. I'm still leaning on not enough. But isn't it also not fair to claim not a single tv has done it? Proving an universal is not easy for gp but the inverse of forall is not a not exists. And I know the world of middle management profit optimization.