05-06-2009 Vs Shady Grove Proofs - AlanKresse