Proof Of Existence Functions