[Gretl-users] Hypothesis behind hsk function