Reporting comment by Thomasden