16.1 Definite Assignment and Expressions
See sections 16.1.1 through 16.1.16 for information on definite assignment and expressions.