jimrandomh comments on The Hamming Problem of Group Rationality