<?xml version="1.0"?>
<clause number="12.3.3.25" title="! expressions">
  <paragraph>For an expression expr of the form ! expr-operand: <list><list_item> The definite assignment state of v before expr-operand is the same as the definite assignment state of v before expr. </list_item><list_item> The definite assignment state of v after expr is determined by: </list_item><list><list_item> If the state of v after expr-operand is definitely assigned, then the state of v after expr is definitely assigned. </list_item><list_item> If the state of v after expr-operand is not definitely assigned, then the state of v after expr is not definitely assigned. </list_item><list_item> If the state of v after expr-operand is &quot;definitely assigned after false expression&quot;, then the state of v after expr is &quot;definitely assigned after true expression&quot;. </list_item><list_item> If the state of v after expr-operand is &quot;definitely assigned after true expression&quot;, then the state of v after expr is &quot;definitely assigned after false expression&quot;. </list_item></list></list></paragraph>
</clause>