Krisden Proofs