Proof ghosts are real
942