Candidates for ghc-proofs