Ah I see we already do -- `exceptions.add` in catch block below, which @aledsage pointed out to me.  Perfect.