Ah, I see. I misunderstood what you wrote. That actually changes a lot, since that was the main reason I kept trying to drive the point about hubris.