ozymandias comments on The Hamming Problem of Group Rationality