Picking winners after the fact: members appendix

All nine coins, the exact rule and the stricter recheck.