Reporting comment by Goodinidruch