I vote canard. 1) French for duck which keeps the with the language history. 2) it’s a loan word into English for unfounded rumor. Which is kind of fun. 3) t

I vote canard. 1) French for duck which keeps the with the language history. 2) it’s a loan word into English for unfounded rumor. Which is kind of fun. 3) the second English definition: “small winglike projection attached to an aircraft forward of the main wing to provide extra stability or control” What does a theorem prover do if not provide extra stability or control to our own understanding? (This one’s a bit of a stretch.)