1.b/ On a separate fresh session with chatGPT, I first confirmed its understanding of theorem vs. algorithm and asked the same question again. This time, it got it correct and said that there's no such thing as a "Raft Theorem":