The second paragraph in 3.15 Try/Catch Expressions says:

"If the target expression does not raise a dynamic error or a type error, the result of the try/catch expression is the result of the target expression."

The third paragraph says:

"If the target expression raises a dynamic error or a type error, the result of the try/catch expression is obtained by evaluating the first catch clause that "matches" the error value, as described below."

We do not cover the case where no catch clause matches the error value.

We might want to add the following sentence to the end of the third paragraph:

"If no catch clause "matches" the error value, then the try/catch expression raises the error that was raised by the target expression."