— In the absence of finally —
[ try3 = try block in unfinished method #3 on call stack ]
When catch3a (among catch3b, 3c) is triggered by a *propagated* exception pe,
* we know (since it’s propagated) that try3 must have called a try4 which threw pe, and
* we know that upon catch3a completion, the statements following catch3a run, not those following catch4
What if there’s a finally? Finally can easily derail this rule. Let’s hope that finally doesn’t use exit-type or throw.