Reporting comment by Marionfrege