Miami 2005 - Keston Duke Session Proofs