proof-existence: