Lemma 1: If a mathematician's notes are seen to vanish, it may be due to the presence of a ghostwriter. Proof: Observe the disappearance of a mathematician's notes, and behold the apparition of a ghostwriter's presence.
A spectral presence has been detected in the realm of mathematical inquiry. Meet Leonhardt's Ghostwriter, a disembodied scribe with an affinity for theorems.
Lemma 1: If a mathematician's notes are seen to vanish, it may be due to the presence of a ghostwriter. Proof: Observe the disappearance of a mathematician's notes, and behold the apparition of a ghostwriter's presence.