The detailed specification can fool people into thinking an exception will automatically be translated into bad_exception, where the default behaviour of std::unexcepted is to immediately call std::terminate();