しいて言うなら
まずありえない事象でも、考えられるケースは検証して
HOか否かを想定する必要があると思います。