I'm glad to hear that. I've been an outspoken opponent of his, but it's because his recent writing has been so preachily dismissive of anyone like me: anyone who is a holdout on AI. He asserts the holdouts are irrelevant, outmoded, not worthy of time or thought... but I work on the same (difficult) problems he used to care about before! So yeah it stings me a bit extra and I have given him the same disrespect I've felt