Logic failure なので ! や precondition に失敗したときと同じイメージです。