Belief System Proofs