Comment by X** on Higuy