Reporting comment by https://mathlog.