mnli premise: I asked Czech president Vaclav Havel about this when he came to Washington a few years ago, and he agreed wholeheartedly with my analysis. hypothesis: Vaclav Havel was never Czech president.