Reporting comment by Philiponent