15.7.11, 10.2.7, 12.6.6.1: Term "returns normally" used but not clearly defined

The term "returns normally" is used in 16.7.11 where it is parenthetically defined:

> If execution of the method body of a void method completes normally (that is, control flows off the end of the method body), that method simply returns to its caller.

The same term is used in 11.2.7 talking about output parameters:

> Every output parameter of a function member or anonymous function shall be definitely assigned (§11.4) before the function member or anonymous function returns normally.

It feels like this should be explicitly defined in a section, then referenced from both places - but I'm not sure which section is best. Possibly 13.6.6.1 (member invocation)?