start of the result on GK model