Reporting comment by Jacobheavy