1.a/ For example: I asked chatGPT what the "Raft theorem by Diego Ongaro" was. Note that Raft is an algorithm, not a theorem. The paper doesn't call out or base the algo on a theorem. Here was the seemingly sophisticated sounding reply: