Reporting comment by Ioughoums