Ah. Your phrasing needs work for clarity then. Also, "return" is hardly the only way to break it; break, continue, or goto leading out of the PG_TRY are other possibilities. Maybe more like "The XXX code must exit normally (by control reaching the end) if it does not throw ereport(ERROR)." Not quite sure what to use for XXX.