add reaching def into the report