about blog proofs