Looks like @geogebraplus hasn't commented yet!