Proof Presence the Instrumental