Proof-existence