Global Ids for proofs.