gwern comments on Making an Amanda Knox prediction market