> This does raise a philosophical question though: should the verifier try to > catch mistakes that constructors would catch if assertions are turned on? Yes please! John