Intrinsik Proofs