[math-fun] online GKP