# gdp: Ghosts of Departed Proofs