Reporting comment by Davidsmale