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