@BecomingCritter @gwern Idk, I zero feel for who he is, what do you think?