progress on generic web site proofs