Reporting comment by JacobGAP