いわゆるred-green flowにならないから要らないという理屈は通りますね。