Chuck and Vina Proofs - chuckliu