Appendix: How to run a successful Hamming circle — AI Alignment Forum