A1987dM comments on Group rationality diary, 7/​9/​12