gwern comments on Wolfram Research v Cook