Holos Proofs