ghosts-proofs-map