New rule: if you post a pro-AI message on the TYPES mailing list, you need to declare your conflicts of interest.