Williams - Aug 07 Proofs - JAlan