For an expression expr of the form expr-cond ? expr-true : expr-false: The definite assignment state of v before expr-cond is the same as the state of v before expr. The definite assignment state of v before expr-true is definitely assigned if and only if the state of v after expr-cond is definitely assigned or "definitely assigned after true expression". The definite assignment state of v before expr-false is definitely assigned if and only if the state of v after expr-cond is definitely assigned or "definitely assigned after false expression".